Translate the following inference to logic notation: For all x, z_3 will not take a plane. Susan is a writer if and only if Thomas is playing a game. If Susan were a writer, then David is taking a plane. Therefore Thomas is not playing a game.
forall x: ~P(x). p <-> q. p -> P(a). Therefore ~q.