Translate the following inference to logic notation: Mary is rich if and only if David is a nurse. For all x, if z were rich, then z is sleeping. Mary is not sleeping. Therefore David is not a nurse.
P(a) <-> p. forall x: P(x) -> Q(x). ~Q(a). Therefore ~p.