Translate the following inference to logic notation: For all x, x_9 is a musician if and only if x_9 will listen to a song. If Jessica were a musician, then Jessica is listening to a song. Therefore Jessica is listening to a song if and only if Jessica is a musician.
forall x: P(x) <-> Q(x). P(a) -> Q(a). Therefore Q(a) <-> P(a).