Translate the following inference to logic notation: It is snowing if and only if John is a nurse. For all x, x_10 is not a nurse. It is snowing. Therefore it is overcast.
p <-> P(a). forall x: ~P(x). p. Therefore q.