Translate the following inference to logic notation: If Michael were excited, then Michael is a poet. For all x, if y were a poet, then y is excited. Therefore Michael is a poet if and only if Michael is excited.
P(a) -> Q(a). forall x: Q(x) -> P(x). Therefore Q(a) <-> P(a).