שינויים

הוכחה בדרך השלילה נבנית על הטאוטולוגיה הפשוטה <math>A \equiv (\neg A \rightarrow F)</math>. לכןכלומר, כאשר אנו מעוניינים כדי להוכיח בדרך השלילהטענה A, אנו מניחים את השלילה של מספיק להוכיח ששלילת הטענה שלנו וגוזרים ממנה סתירההזו מביאה לסתירה, F. כשנתקעים בהוכחה, לפעמים מועיל להניח שהמסקנה שאליה רוצים להגיע אינה נכונה, על-מנת שיהיה קל יותר ליצור מסקנות ביניים חדשות, עד שנגיע לסתירה המיוחלת.