¬∀,P(x)≡∃x,¬P(x) ¬∃,P(x)≡∀x,¬P(X) Negate the predecates, and the quantifier Negating Predicates with Negated Quantifiers ∃x¬∀y,C(y,x) Remove all negations in front of quantifiers Flip quantifiers