Translate the following inference to logic notation: Susan is playing a game if and only if James is a mechanic. William is a carpenter. For all x, z_2 will not play a game. Therefore William is a carpenter and James is not a mechanic.
P(a) <-> p. q. forall x: ~P(x). Therefore q and ~p.