Translate the following inference to logic notation: John is not a writer. For all x, if x_10 plays a game, then x_10 is a writer. Michael is an astronaut if and only if John is playing a game. Therefore Michael is not an astronaut.
~P(a). forall x: Q(x) -> P(x). p <-> Q(a). Therefore ~p.