Translate the following inference to logic notation: Patricia is playing tennis if and only if John is playing a game. John is not playing a game. For all x, y is an artist if and only if y will play tennis. Therefore Patricia is not an artist.
P(a) <-> p. ~p. forall x: Q(x) <-> P(x). Therefore ~Q(a).