Translate the following inference to logic notation: For all x, x_5 will read a book or x_5 is not a politician. For all x, if x_5 reads a book, then x_5 is a politician. Barbara is not reading a book. Therefore Barbara is not a politician.
forall x: P(x) or ~Q(x). forall x: P(x) -> Q(x). ~P(a). Therefore ~Q(a).