Translate the following inference to logic notation: Jessica is driving a car if and only if Jessica is a taxi driver. For all x, x will drive a car if and only if x is a taxi driver. Therefore Jessica is driving a car if and only if Jessica is a taxi driver.
P(a) <-> Q(a). forall x: P(x) <-> Q(x). Therefore P(a) <-> Q(a).