Translate the following inference to logic notation: John is a lawyer if and only if Jennifer is playing squash. For all x, y will not read a book. For all x, y will play squash if and only if y will read a book. Therefore John is not a lawyer.
p <-> P(a). forall x: ~Q(x). forall x: P(x) <-> Q(x). Therefore ~p.