Translate the following inference to logic notation: If Elisabeth plays squash, then Elisabeth is a poet. For all x, z will play squash or z is not a poet. Therefore if Elisabeth were a poet, then Elisabeth is playing squash.
P(a) -> Q(a). forall x: P(x) or ~Q(x). Therefore Q(a) -> P(a).