Translate the following inference to logic notation: If James were a taxi driver, then Sarah is not a scientist. For all x, x_12 is a carpenter or x_12 is a scientist. Sarah is not a carpenter. Therefore James is not a taxi driver.
p -> ~P(a). forall x: Q(x) or P(x). ~Q(a). Therefore ~p.