Translate the following inference to logic notation: If John drinks water, then Michael is a police officer. Michael is playing tennis if and only if Michael is a police officer. For all x, x_10 will not play tennis. Therefore John is not drinking water.
p -> q. P(a) <-> q. forall x: ~P(x). Therefore ~p.