Translate the following inference to logic notation: David is playing a game if and only if William is sad. For all x, x is not sad. Therefore David is not playing a game.
p <-> P(a). forall x: ~P(x). Therefore ~p.