Translate the following inference to logic notation: Robert is an electrician or Michael is reading a book. If Michael reads a book, then James is a bartender. If Robert makes tea, then James is a bartender. For all x, if x_10 were an electrician, then x_10 is making tea. Therefore James is a bartender.
P(a) or p. p -> q. Q(a) -> q. forall x: P(x) -> Q(x). Therefore q.