Εις άτοπον απαγωγή: Διαφορά μεταξύ των αναθεωρήσεων

Η '''απαγωγήεπαγωγή σε άτοπο''' ή ''εις άτοπον απαγωγήεπαγωγή'' (όρος που διεθνοποιήθηκε από τη [[λατινικά|λατινική]] φράση ''reductio ad absurdum'', μετάφραση της αντίστοιχης ελληνικής ορολογίας των [[Αριστοτέλης|Αριστοτέλη]] και [[Ευκλείδης|Ευκλείδη]]) (συχνά λανθασμένα γραφόμενη ως "Εις άτοπο απαγωγή") είναι μία από τις σημαντικότερες μεθόδους [[Μαθηματική απόδειξη|μαθηματικής απόδειξης]]. Ωστόσο, η απαγωγή σε άτοπο δεν εφαρμόζεται αποκλειστικά στα [[μαθηματικά]] και στην [[Συμβολική λογική|τυπική λογική]], αλλά συνιστά ευρύτερα τη [[λογική|συλλογιστική]] μέθοδο κατά την οποία αποδεικνύεται η αλήθεια μιας πρότασης με βάση το γεγονός ότι η αντίθετή της είναι ψευδής ή λανθασμένη<ref>[http://www.greek-language.gr/greekLang/modern_greek/tools/lexica/triantafyllides/search.html?lq=%22%CE%B1%CF%80%CE%B1%CE%B3%CF%89%CE%B3%CE%AE+3%22&dq= Λεξικό της κοινής νεοελληνικής, Ινστιτούτο Νεοελληνικών Σπουδών του ΑΠΘ, 1988]</ref>.