Translate the following inference to logic notation: If John drives a car, then John is reading a book. For all x, z will drive a car if and only if z will read a book. Therefore if John reads a book, then John is driving a car.
P(a) -> Q(a). forall x: P(x) <-> Q(x). Therefore Q(a) -> P(a).