שינויים

* "לא כל תפוח הוא צהוב" שקול לכך ש"קיים תפוח שאינו צהוב".

* "לא קיים תפוח צהוב" שקול לכך ש"כל תפוח אינו צהוב".

* <math>\ \neg \forall x: P(x) \equiv \exists x: \neg P(x)</math>, וכך גם

* <math>\ \neg \exists x: P(x) \equiv \forall x: \neg P(x)</math>.