Translate the following inference to logic notation: If Michael drives a car, then Barbara is a mechanic. It is late. If Michael cooks, then Barbara is a mechanic. For all x, x_12 will drive a car or x_12 will cook. Therefore Barbara is a mechanic and it is late.
P(a) -> p. q. Q(a) -> p. forall x: P(x) or Q(x). Therefore p and q.