Translate the following inference to logic notation: Mary is a doctor if and only if Patricia is sleeping. For all x, if z_1 sleeps, then z_1 is a politician. Patricia is not a politician. Therefore Mary is not a doctor.
p <-> P(a). forall x: P(x) -> Q(x). ~Q(a). Therefore ~p.