Translate the following inference to logic notation: If Charles were fast, then Charles is drinking water. For all x, x_9 is fast or x_9 will not drink water. Therefore if Charles were fast, then Charles is drinking water.
P(a) -> Q(a). forall x: P(x) or ~Q(x). Therefore P(a) -> Q(a).