Translate the following inference to logic notation: Michael is an astronaut or Sarah is not an artist. For all x, if x were excited, then x is an astronaut. Sarah is an artist or Michael is excited. Therefore Michael is an astronaut.
P(a) or ~p. forall x: Q(x) -> P(x). p or Q(a). Therefore P(a).