Translate the following inference to logic notation: Michael is cooking if and only if Charles is climbing a mountain. For all x, x_7 is a police officer if and only if x_7 will climb a mountain. Michael is not cooking. Therefore Charles is not a police officer.
p <-> P(a). forall x: Q(x) <-> P(x). ~p. Therefore ~Q(a).