Translate the following inference to logic notation: For all x, x_11 will drink water or x_11 will not climb a mountain. For all x, x_11 will climb a mountain if and only if x_11 will drink water. Therefore if Thomas climbs a mountain, then Thomas is drinking water.
forall x: P(x) or ~Q(x). forall x: Q(x) <-> P(x). Therefore Q(a) -> P(a).