Translate the following inference to logic notation: Thomas is poor or Joseph is playing tennis. If Thomas were poor, then Joseph is a bartender. For all x, x_7 is a bartender if and only if x_7 will play tennis. Therefore Joseph is a bartender.
p or P(a). p -> Q(a). forall x: Q(x) <-> P(x). Therefore Q(a).