Translate the following inference to logic notation: If Robert plays tennis, then Richard is a musician. For all x, y_3 will work or y_3 will play tennis. If Robert works, then Richard is a musician. Therefore Richard is a musician or Jessica is an electrician.
P(a) -> p. forall x: Q(x) or P(x). Q(a) -> p. Therefore p or q.