Translate the following inference to logic notation: For all x, y is a nurse or y is poor. For all x, y is not a nurse. Therefore Elisabeth is poor or Michael is a janitor.
forall x: P(x) or Q(x). forall x: ~P(x). Therefore Q(a) or p.