Translate the following inference to logic notation: Jessica is a writer or John is taking a plane. If Jessica were a writer, then John is playing a game. For all x, x_8 will take a plane if and only if x_8 will play a game. Therefore John is playing a game.
p or P(a). p -> Q(a). forall x: P(x) <-> Q(x). Therefore Q(a).