Translate the following inference to logic notation: Elisabeth is not playing a game. For all x, x_16 is a nurse if and only if x_16 is a politician. If Mary were a nurse, then Elisabeth is playing a game. Therefore Mary is not a politician or Michael is playing tennis.
~p. forall x: P(x) <-> Q(x). P(a) -> p. Therefore ~Q(a) or q.