Translate the following inference to logic notation: For all x, x_17 will take a plane. For all x, x_17 is sad if and only if x_17 will take a plane. Therefore William is sad or Michael is playing a game.
forall x: P(x). forall x: Q(x) <-> P(x). Therefore Q(a) or p.