Translate the following inference to logic notation: For all x, x will cook or x is an electrician. If Michael were an electrician, then it is late. It is late if and only if Michael is cooking. Therefore it is late.
forall x: P(x) or Q(x). Q(a) -> p. p <-> P(a). Therefore p.