Translate the following inference to logic notation: Robert is playing a game if and only if Susan is taking a plane. For all x, x_10 will not take a plane. Robert is playing a game or Jennifer is running. Therefore Jennifer is running.
p <-> P(a). forall x: ~P(x). p or q. Therefore q.