Translate the following inference to logic notation: For all x, x_11 is not fast. For all x, x_11 is fast or x_11 is a carpenter. Therefore Barbara is a carpenter or Charles is a police officer.
forall x: ~P(x). forall x: P(x) or Q(x). Therefore Q(a) or p.