כל מה שרצית לדעת על הוכחה בדרך השלילה:
הוכחה בדרך השלילה, ידועה גם בשם הוכחה עקיפה או אלימינציה ובלטינית Reductio ad absurdum (רֶדּוּקְצְיוֹ אַדּ אַבְּסוּרְדּוּם – רדוקציה לאבסורד .
R.
A) היא טכניקת הוכחה, במתמטיקה, לוגיקה ופילוסופיה, במסגרתה מוכיחים ששלילת ההנחה המבוקשת היא סתירה (אבסורד), ועל כן ההנחה נכונה.
הסתירה מוכיחה שנקודת המוצא שלנו הייתה שגויה.
יש לשים לב כי שיטה זו משתמשת בכלל השלישי מן הנמנע בלוגיקה – או שמשהו הוא נכון, או שהוא אינו נכון, ועל כן אם הנחנו שהטענה אינה נכונה והגענו לסתירה, נובע מכך שהיא בהכרח נכונה.
ישנם זרמים במתמטיקה, דוגמת האינטואיציוניזם, שאינם מקבלים כלל זה, ובפרט דוחים את הטענה ששלילה כפולה משמעותה חיוב.
על כן אינם רואים הוכחה בדרך השלילה כהוכחה קבילה.

נלקח מויקיפדיה

הגדרות נוספות הקשורות להוכחה בדרך השלילה:
•שיטות הוכחה
•ביטויים לטיניים