Translate the following inference to logic notation: If Barbara were a janitor, then it is windy. Barbara is an artist. For all x, if x were an artist, then x is a janitor. Therefore it is windy.
P(a) -> p. Q(a). forall x: Q(x) -> P(x). Therefore p.