Translate the following inference to logic notation: It is not cloudy. James is running if and only if it is cloudy. For all x, x_18 will play a game if and only if x_18 will go running. Richard is a writer. Therefore James is not playing a game.
~p. P(a) <-> p. forall x: Q(x) <-> P(x). q. Therefore ~Q(a).