Translate the following inference to logic notation: Barbara is reading a book if and only if Barbara is fast. For all x, if x_12 were fast, then x_12 is reading a book. Therefore if Barbara reads a book, then Barbara is fast.
P(a) <-> Q(a). forall x: Q(x) -> P(x). Therefore P(a) -> Q(a).