Translate the following inference to logic notation: It is windy if and only if Joseph is a nurse. For all x, y_2 is not a nurse. It is windy. Therefore David is a taxi driver.
p <-> P(a). forall x: ~P(x). p. Therefore q.