Translate the following inference to logic notation: If John listens to a song, then Jennifer is writing a letter. For all x, x_11 is not a sailor. For all x, x_11 is a sailor or x_11 will not write a letter. Therefore John is not listening to a song.
p -> P(a). forall x: ~Q(x). forall x: Q(x) or ~P(x). Therefore ~p.