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

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε

Ενδογραμμικά

Έκδοση από την 15:49, 23 Νοεμβρίου 2008

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

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

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

Αυτό το μαθηματικό λήμμα χρειάζεται επέκταση. Μπορείτε να βοηθήσετε την Βικιπαίδεια επεκτείνοντάς το.

@@ Γραμμή 9: / Γραμμή 9: @@
 [[Κατηγορία:Μαθηματική λογική]]
-[[zh-min-nan:Hoán-chèng-hoat]]
 [[be:Давядзенне да абсурду]]
 [[bs:Reductio ad absurdum]]
@@ Γραμμή 16: / Γραμμή 15: @@
 [[de:Reductio ad absurdum]]
 [[en:Reductio ad absurdum]]
-[[et:Vastuväiteline tõestus]]
-[[es:Reducción al absurdo]]
 [[eo:Pruvo per disputo]]
+[[es:Reducción al absurdo]]
+[[et:Vastuväiteline tõestus]]
 [[fa:برهان خلف]]
+[[fi:Reductio ad absurdum]]
 [[fr:Raisonnement par l'absurde]]
+[[he:הוכחה בדרך השלילה]]
-[[ko:귀류법]]
+[[hu:Reductio ad absurdum]]
 [[id:Pembuktian melalui kontradiksi]]
 [[is:Niðursöllun í fáránleika]]
 [[it:Dimostrazione per assurdo]]
+[[ja:背理法]]
-[[he:הוכחה בדרך השלילה]]
+[[ko:귀류법]]
 [[la:Reductio ad absurdum]]
-[[hu:Reductio ad absurdum]]
 [[nl:Bewijs uit het ongerijmde]]
-[[ja:背理法]]
-[[no:Reductio ad absurdum]]
 [[nn:Reductio ad absurdum]]
+[[no:Reductio ad absurdum]]
 [[pl:Dowód nie wprost]]
 [[pt:Prova por contradição]]
+[[ro:Argumentum ad absurdum]]
 [[ru:Доказательство от противного]]
 [[simple:Reductio ad absurdum]]
@@ Γραμμή 39: / Γραμμή 40: @@
 [[sl:Dokaz s protislovjem]]
 [[sr:Свођење на контрадикцију]]
-[[fi:Reductio ad absurdum]]
 [[sv:Indirekt bevis]]
 [[tr:Reductio ad absurdum]]
-[[zh-yue:反證法]]
 [[zh:反證法]]
+[[zh-min-nan:Hoán-chèng-hoat]]
+[[zh-yue:反證法]]