Translate the following inference to logic notation: If Charles doesn't drink water, then Linda is a lawyer. Charles is drinking water if and only if Patricia is poor. For all x, z is not poor. Therefore Linda is a lawyer.
~p -> q. p <-> P(a). forall x: ~P(x). Therefore q.