Translate the following inference to logic notation: If Barbara drinks water, then it is not sunny. For all x, if x_8 takes a plane, then x_8 is drinking water. For all x, if x_8 drinks water, then x_8 is taking a plane. It is sunny. Therefore Barbara is not taking a plane.
P(a) -> ~p. forall x: Q(x) -> P(x). forall x: P(x) -> Q(x). p. Therefore ~Q(a).