Translate the following inference to logic notation: Patricia is drinking water or it is late. Patricia is taking a plane or it is not late. For all x, x_3 will take a plane if and only if x_3 will drink water. Therefore Patricia is taking a plane.
P(a) or p. Q(a) or ~p. forall x: Q(x) <-> P(x). Therefore Q(a).