Translate the following inference to logic notation: For all x, x_12 is a poet if and only if x_12 will take a plane. It is raining if and only if Elisabeth is taking a plane. Elisabeth is a poet or it is raining. Therefore Elisabeth is taking a plane.
forall x: P(x) <-> Q(x). p <-> Q(a). P(a) or p. Therefore Q(a).