Translate the following inference to logic notation: Barbara is an artist or it is snowing. Patricia is a politician. For all x, x is not an artist. Therefore it is snowing and Patricia is a politician.
P(a) or p. q. forall x: ~P(x). Therefore p and q.