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