Translate the following inference to logic notation: For all x, x is a scientist or x is a janitor. Mary is a carpenter or Linda is not a janitor. If it is windy, then Mary is a carpenter. Linda is not a scientist or it is windy. Therefore Mary is a carpenter.
forall x: P(x) or Q(x). p or ~Q(a). q -> p. ~P(a) or q. Therefore p.