Translate the following inference to logic notation: If Linda were a server, then Linda is playing a game. If Karen plays squash, then Linda is playing a game. Linda is not a server. For all x, if x_17 plays a game, then x_17 is a server. If John were a police officer, then Karen is playing squash. Therefore John is not a police officer.
P(a) -> Q(a). p -> Q(a). ~P(a). forall x: Q(x) -> P(x). q -> p. Therefore ~q.