Translate the following inference to logic notation: For all x, x_7 is a janitor or x_7 is not a politician. If James were a janitor, then James is a politician. Therefore James is a politician if and only if James is a janitor.
forall x: P(x) or ~Q(x). P(a) -> Q(a). Therefore Q(a) <-> P(a).