עקרון השלישי הנמנע

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