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