Translate the following inference to logic notation: For all x, x_10 is not an electrician. It is windy if and only if Michael is an electrician. Therefore it is not windy.
forall x: ~P(x). p <-> P(a). Therefore ~p.