עקרון השלישי הנמנע – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 17:
== הוכחה בדרך השלילה ==
עקרון השלישי הנמנע מאפשר [[הוכחה בדרך השלילה|להוכיח טענות בדרך השלילה]]: מבקשים להוכיח טענה P. מוכיחים ששלילת P מביאה ל[[סתירה (לוגיקה)|סתירה]]. לפי עקרון השלישי הנמנע, רק אחת משתי האפשרויות -- P או שלילתה -- נכונה. מכיוון שהשלילה מביאה לסתירה, אות הוא ש-P עצמה נכונה.
ה[[אינטואיציוניזם]] מתנגד לכך, וטוען שבכך נפסלת רק אי-נכונות. ויתור על העקרון משמש להתמודדות עם הקשיים ב[[תורת הקבוצות הנאיבית]].
| |||