Translate the following inference to logic notation: For all x, if x_11 climbs a mountain, then x_11 is a doctor. John is climbing a mountain or Joseph is not cooking. For all x, if x_11 were a doctor, then x_11 is a police officer. Therefore if Joseph cooks, then John is a police officer.
forall x: P(x) -> Q(x). P(a) or ~p. forall x: Q(x) -> R(x). Therefore p -> R(a).