Translate the following inference to logic notation: For all x, z will drink water if and only if z is a sailor. Joseph is cooking. David is drinking water if and only if Robert is rich. David is not a sailor. Therefore Robert is not rich and Joseph is cooking.
forall x: P(x) <-> Q(x). p. P(a) <-> q. ~Q(a). Therefore ~q and p.