Translate the following inference to logic notation: For all x, y_3 is a bartender if and only if y_3 is excited. Patricia is not excited. If David were fast, then Patricia is a bartender. Therefore David is not fast.
forall x: P(x) <-> Q(x). ~Q(a). p -> P(a). Therefore ~p.