Translate the following inference to logic notation: If Joseph were a server, then Thomas is not playing squash. For all x, x_17 is an artist or x_17 will play squash. Thomas is not an artist. Joseph is a server if and only if David is a poet. Therefore David is not a poet.
p -> ~P(a). forall x: Q(x) or P(x). ~Q(a). p <-> q. Therefore ~q.