Translate the following inference to logic notation: Joseph is not a mechanic. For all x, x_12 is a mechanic or x_12 is a cashier. John is an astronaut. Therefore Joseph is a cashier and John is an astronaut.
~P(a). forall x: P(x) or Q(x). p. Therefore Q(a) and p.