Translate the following inference to logic notation: Patricia is a doctor or David is not climbing a mountain. For all x, x_17 will not climb a mountain. David is climbing a mountain if and only if Patricia is a doctor. Therefore Patricia is not a doctor.
p or ~P(a). forall x: ~P(x). P(a) <-> p. Therefore ~p.