Translate the following inference to logic notation: It is snowing if and only if Michael is an electrician. For all x, x_15 is not a politician. For all x, if x_15 were an electrician, then x_15 is a politician. Therefore it is not snowing or David is cooking.
p <-> P(a). forall x: ~Q(x). forall x: P(x) -> Q(x). Therefore ~p or q.