Translate the following inference to logic notation: Jennifer is not playing squash. For all x, if x_7 were an artist, then x_7 is playing squash. For all x, x_7 is an artist if and only if x_7 will play squash. Therefore Jennifer is not an artist.
~P(a). forall x: Q(x) -> P(x). forall x: Q(x) <-> P(x). Therefore ~Q(a).