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