Translate the following inference to logic notation: For all x, if y_3 takes a plane, then y_3 is driving a car. For all x, y_3 will take a plane or y_3 will not drive a car. Therefore if Michael takes a plane, then Michael is driving a car.
forall x: P(x) -> Q(x). forall x: P(x) or ~Q(x). Therefore P(a) -> Q(a).