Translate the following inference to logic notation: Mary is cooking if and only if Elisabeth is listening to a song. For all x, if x_10 plays a game, then x_10 is listening to a song. Therefore if Elisabeth plays a game, then Mary is cooking.
p <-> P(a). forall x: Q(x) -> P(x). Therefore Q(a) -> p.