ad absurdum

(לטינית) עד אבסורד

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