Translate the following inference to logic notation: Charles is not a musician or Robert is playing squash. It is overcast or Charles is not taking a plane. It is overcast if and only if Robert is playing squash. For all x, x_16 is a musician or x_16 will take a plane. Therefore it is overcast.
~P(a) or p. q or ~Q(a). q <-> p. forall x: P(x) or Q(x). Therefore q.