Translate the following inference to logic notation: David is a bartender or Michael is an astronaut. If Michael were an astronaut, then Karen is an office clerk. If David were a bartender, then Karen is an office clerk. For all x, if x were an office clerk, then x is working. Therefore Karen is working.
p or q. q -> P(a). p -> P(a). forall x: P(x) -> Q(x). Therefore Q(a).