∀x (P(x) -> Q(x))
Ex (P(x) & Q(x))
∀x (P(x) -> ~Q(x))
Ex (P(x) & ~Q(x))