Translate the following inference to logic notation: If Mary were fast, then Mary is driving a car. For all x, x_9 is fast if and only if x_9 will drive a car. Therefore Mary is driving a car if and only if Mary is fast.
P(a) -> Q(a). forall x: P(x) <-> Q(x). Therefore Q(a) <-> P(a).