שינויים

'''כיצד מוכיחים'''. זוהי דרך המלך להוכחה או סתירה של טענות:

* כדי להוכיח שהפסוק <math>\ \forall x : P(x)</math> אמיתי, יש להראות שהטענה P נכונה לכל ערך אפשרי של x.

* כדי להוכיח שהפסוק <math>\ \forall x : P(x)</math> שקרי, יש למצוא ערך של x שעבורו הטענה אינה נכונה ("דוגמא נגדית").

* כדי להוכיח שהפסוק <math>\ \exists x : P(x)</math> שקרי, יש להראות שהטענה P אינה נכונה לכל ערך אפשרי של x.