Translate the following inference to logic notation: If James were an electrician, then Jennifer is climbing a mountain. For all x, if x climbs a mountain, then x is a doctor. Jennifer is not a doctor. Therefore James is not an electrician.
p -> P(a). forall x: P(x) -> Q(x). ~Q(a). Therefore ~p.