Εις άτοπον απαγωγή

Η απαγωγή σε άτοπο (λατινικά Reductio ad absurdum, καθαρεύουσα εις άτοπον απαγωγή ή εἰς ἄτοπον ἀπαγωγή) είναι μία από τις σημαντικότερες και συχνότερα χρησιμοποιούμενες μεθόδους μαθηματικής απόδειξης. Ωστόσο, η απαγωγή σε άτοπο δεν χρησιμοποιείται αποκλειστικά στα μαθηματικά και την τυπική λογική. Γενικότερα, είναι η συλλογιστική μέθοδος κατά την οποία αποδεικνύεται η αλήθεια μιας πρότασης με βάση το γεγονός ότι η αντίθετη της είναι ψευδής ή λανθασμένη.

Χρησιμοποιήθηκε από τον Αριστοτέλη σε συνδυασμό με την αρχή αποκλειόμενου μέσου και την αρχή μη-αντίφασης.

Συνήθως η αντίθετη της προς απόδειξη πρότασης δεν είναι άμεσα ή φανερά λανθασμένη η ίδια. Αλλά οδηγεί σε ισοδύναμα συμπεράσματα που αυτά είναι σαφώς λανθασμένα.