Translate the following inference to logic notation: Joseph is drinking water if and only if Joseph is climbing a mountain. For all x, z_4 is not a nurse. Joseph is climbing a mountain if and only if Mary is a nurse. Therefore Joseph is not drinking water.
p <-> q. forall x: ~P(x). q <-> P(a). Therefore ~p.