Translate the following inference to logic notation: John is drinking water if and only if Charles is rich. For all x, x_2 is not rich. Therefore John is not drinking water.
p <-> P(a). forall x: ~P(x). Therefore ~p.