Translate the following inference to logic notation: Jessica is a scientist or Susan is climbing a mountain. If Susan climbs a mountain, then David is an office clerk. Jessica is not a scientist or David is a bartender. For all x, x_10 is an office clerk or x_10 is not a bartender. Therefore David is an office clerk.
p or q. q -> P(a). ~p or Q(a). forall x: P(x) or ~Q(x). Therefore P(a).