Translate the following inference to logic notation: Elisabeth is not a politician. For all x, x_10 is sad if and only if x_10 is a politician. Elisabeth is sad. Therefore Karen is playing a game.
~P(a). forall x: Q(x) <-> P(x). Q(a). Therefore p.