שינויים

זו הזדמנות לשוב ולעיין בדרכים להוכיח ולהפריך טענות מכומתות שהובאו בראש [[#טענות אמיתיות|אחד הסעיפים הקודמים]]. שימו לב שאת הטענות <math>\ \neg \exists forall x: \neg P(x)</math> ו-<math>\ \neg \exists x: P(x)</math> מוכיחים למעשה באותה דרך (מראים ש*לכל* x, הטענה P אינה מתקיימת), וגם את <math>\ \neg \forall x: P(x)</math>, ו-<math>\ \exists x: \neg P(x)</math> מוכיחים באותה דרך (מראים ש*קיים* x שעבורו P אינה נכונה).