Translate the following inference to logic notation: It is cold if and only if John is playing a game. For all x, if x_10 writes a letter, then x_10 is playing a game. It is not cold. Therefore John is not writing a letter.
p <-> P(a). forall x: Q(x) -> P(x). ~p. Therefore ~Q(a).