Translate the following inference to logic notation: If Jennifer plays a game, then it is not raining. For all x, if x sleeps, then x is driving a car. David is driving a car if and only if Jennifer is playing a game. It is raining. Therefore David is not sleeping.
p -> ~q. forall x: P(x) -> Q(x). Q(a) <-> p. q. Therefore ~P(a).