Translate the following inference to logic notation: It is snowing. For all x, if x_12 takes a plane, then x_12 is driving a car. James is not driving a car. For all x, if x_12 drives a car, then x_12 is taking a plane. Therefore James is not taking a plane and it is snowing.
p. forall x: P(x) -> Q(x). ~Q(a). forall x: Q(x) -> P(x). Therefore ~P(a) and p.