Translate the following inference to logic notation: For all x, x_8 is not a carpenter or x_8 is a mechanic. Thomas is not a police officer or it is overcast. Thomas is not a mechanic. For all x, x_8 is a carpenter or x_8 is a police officer. Therefore it is overcast.
forall x: ~P(x) or Q(x). ~R(a) or p. ~Q(a). forall x: P(x) or R(x). Therefore p.