Translate the following inference to logic notation: Karen is not taking a plane. Karen is taking a plane if and only if Jennifer is playing a game. Jessica is excited if and only if Jennifer is playing a game. For all x, if z works, then z is excited. Therefore Jessica is not working.
~p. p <-> q. P(a) <-> q. forall x: Q(x) -> P(x). Therefore ~Q(a).