Translate the following inference to logic notation: Charles is not a musician or it is cloudy. For all x, x_6 will play squash. For all x, x_6 will not play squash or x_6 is an office clerk. Therefore Charles is an office clerk or it is cloudy.
~P(a) or p. forall x: Q(x). forall x: ~Q(x) or R(x). Therefore R(a) or p.