Translate the following inference to logic notation: For all x, if y drinks water, then y is a bartender. Linda is not drinking water. For all x, y is a bartender if and only if y will drink water. Therefore Linda is not a bartender.
forall x: P(x) -> Q(x). ~P(a). forall x: Q(x) <-> P(x). Therefore ~Q(a).