Translate the following inference to logic notation: If Jennifer plays squash, then Charles is listening to a song. For all x, x will not play squash. If Charles listens to a song, then Jennifer is playing squash. Therefore Charles is not listening to a song.
P(a) -> p. forall x: ~P(x). p -> P(a). Therefore ~p.