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