Translate the following inference to logic notation: For all x, z will not listen to a song. If James were not a mechanic, then Joseph is playing tennis. Thomas is listening to a song if and only if James is a mechanic. Therefore Joseph is playing tennis.
forall x: ~P(x). ~p -> q. P(a) <-> p. Therefore q.