Translate the following inference to logic notation: For all x, if x_10 were fast, then x_10 is a politician. For all x, if x_10 were a politician, then x_10 is fast. If James were a bartender, then Robert is a politician. Robert is fast or James is a bartender. Therefore Robert is a politician.
forall x: P(x) -> Q(x). forall x: Q(x) -> P(x). p -> Q(a). P(a) or p. Therefore Q(a).