שינויים

באופן הזה אפשר להחליף כל מופע של הכמת "קיים" במופע אחד של הכמת "לכל"; כמובן, גם ההיפך אפשרי:

* <math>\ \forall x: P(x) \equiv \neg \exists x: \neg P(x)</math> ("כל הסוסים שחורים" = "אין אף סוס שאינו שחור").

'''תרגיל'''.