Translate the following inference to logic notation: Elisabeth is a lawyer or it is not sunny. For all x, if x_10 were a janitor, then x_10 is a lawyer. It is sunny or Elisabeth is a janitor. Therefore Elisabeth is a lawyer.
P(a) or ~p. forall x: Q(x) -> P(x). p or Q(a). Therefore P(a).