 |
הוכחה בדרך השלילה
| Wikipedia ויקיפדיה העברית - האנציקלופדיה החופשית | Download this dictionary |
הוכחה בדרך השלילה
הוכחה בדרך השלילה, ידועה גם בשם הוכחה עקיפה או אלימינציה ובלטינית Reductio ad absurdum (רֶדּוּקְצְיוֹ אַדּ אַבְּסוּרְדּוּם - רדוקציה לאבסורד .R.A) היא טכניקת הוכחה, במתמטיקה, לוגיקה ופילוסופיה, במסגרתה מוכיחים ששלילת ההנחה המבוקשת היא סתירה (אבסורד), ועל כן ההנחה נכונה. הסתירה מוכיחה שנקודת המוצא שלנו הייתה שגויה.
יש לשים לב כי שיטה זו משתמשת בכלל השלישי מן הנמנע בלוגיקה - או שמשהו הוא נכון, או שהוא אינו נכון, ועל כן אם הנחנו שהטענה אינה נכונה והגענו לסתירה, נובע מכך שהיא בהכרח נכונה. ישנם זרמים במתמטיקה, דוגמת האינטואיציוניזם, שאינם מקבלים כלל זה, ובפרט דוחים את הטענה ששלילה כפולה משמעותה חיוב. על כן אינם רואים הוכחה בדרך השלילה כהוכחה קבילה.
| להמשך המאמר ראה Wikipedia.org... |
© מאמר זה משתמש בתוכן מ-ויקיפדיה® וכפוף לרשיון לשימוש חופשי במסמכים של גנו GNU Free Documentation License וכפוף לרישיון Creative Commons ייחוס-שיתוף זהה
