Translate the following inference to logic notation: If Patricia were not a cashier, then it is snowing. Patricia is a cashier if and only if it is windy. For all x, y is an electrician. It is not windy. Therefore it is snowing and Michael is an electrician.
~p -> q. p <-> r. forall x: P(x). ~r. Therefore q and P(a).