Translate the following inference to logic notation: William is driving a car if and only if James is cooking. For all x, x_12 will read a book if and only if x_12 will drive a car. Therefore if William reads a book, then James is cooking.
P(a) <-> p. forall x: Q(x) <-> P(x). Therefore Q(a) -> p.