Translate the following inference to logic notation: If John takes a plane, then John is a writer. For all x, x will take a plane or x is not a writer. Therefore John is a writer if and only if John is taking a plane.
P(a) -> Q(a). forall x: P(x) or ~Q(x). Therefore Q(a) <-> P(a).