Translate the following inference to logic notation: For all x, x_9 will drive a car if and only if x_9 will go running. Michael is running or Jessica is playing tennis. If Jessica plays tennis, then Michael is driving a car. Therefore Michael is driving a car.
forall x: P(x) <-> Q(x). Q(a) or p. p -> P(a). Therefore P(a).