Translate the following inference to logic notation: Michael is taking a plane if and only if it is windy. For all x, x will not take a plane. It is cold. Therefore it is not windy.
P(a) <-> p. forall x: ~P(x). q. Therefore ~p.