Translate the following inference to logic notation: Elisabeth is not a police officer. It is windy if and only if Elisabeth is a police officer. For all x, z will play a game and z is a bartender. Therefore it is not windy and Mary is playing a game.
~p. q <-> p. forall x: P(x) and Q(x). Therefore ~q and P(a).