Translate the following inference to logic notation: James is happy if and only if David is playing a game. For all x, if x_10 plays a game, then x_10 is sleeping. Therefore if James were happy, then David is sleeping.
p <-> P(a). forall x: P(x) -> Q(x). Therefore p -> Q(a).