Translate the following inference to logic notation: Charles is a politician or Patricia is bored. It is overcast. For all x, z is not a politician. Therefore it is overcast and Patricia is bored.
P(a) or p. q. forall x: ~P(x). Therefore q and p.