Translate the following inference to logic notation: If Jennifer drinks water, then David is running. David is running if and only if Jennifer is drinking water. For all x, if x_17 drinks water, then x_17 is a police officer. Therefore if David goes running, then Jennifer is a police officer.
P(a) -> p. p <-> P(a). forall x: P(x) -> Q(x). Therefore p -> Q(a).