Εις άτοπον απαγωγή: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
stub για αρχή |
Χωρίς σύνοψη επεξεργασίας |
||
Γραμμή 2: | Γραμμή 2: | ||
Χρησιμοποιήθηκε από τον [[Αριστοτέλης|Αριστοτέλη]] σε συνδυασμό με την [[αρχή αποκλειόμενου μέσου]] και την [[αρχή μη-αντίφασης]]. |
Χρησιμοποιήθηκε από τον [[Αριστοτέλης|Αριστοτέλη]] σε συνδυασμό με την [[αρχή αποκλειόμενου μέσου]] και την [[αρχή μη-αντίφασης]]. |
||
Συνήθως η αντίθετη της προς απόδειξη πρότασης δεν είναι άμεσα ή φανερά λανθασμένη η ίδια. Αλλά οδηγεί σε [[Αν και μόνο αν|ισοδύναμα]] συμπεράσματα που αυτά είναι σαφώς λανθασμένα. |
|||
{{Μαθηματικά-επέκταση}} |
{{Μαθηματικά-επέκταση}} |
Έκδοση από την 08:22, 13 Νοεμβρίου 2008
Η απαγωγή σε άτοπο (λατινικά Reductio ad absurdum, καθαρεύουσα εις άτοπον απαγωγή ή εἰς ἄτοπον ἀπαγωγή) είναι μία από τις σημαντικότερες και συχνότερα χρησιμοποιούμενες μεθόδους μαθηματικής απόδειξης. Ωστόσο, η απαγωγή σε άτοπο δεν χρησιμοποιείται αποκλειστικά στα μαθηματικά και την τυπική λογική. Γενικότερα, είναι η συλλογιστική μέθοδος κατά την οποία αποδεικνύεται η αλήθεια μιας πρότασης με βάση το γεγονός ότι η αντίθετη της είναι ψευδής ή λανθασμένη.
Χρησιμοποιήθηκε από τον Αριστοτέλη σε συνδυασμό με την αρχή αποκλειόμενου μέσου και την αρχή μη-αντίφασης.
Συνήθως η αντίθετη της προς απόδειξη πρότασης δεν είναι άμεσα ή φανερά λανθασμένη η ίδια. Αλλά οδηγεί σε ισοδύναμα συμπεράσματα που αυτά είναι σαφώς λανθασμένα.
Αυτό το μαθηματικό λήμμα χρειάζεται επέκταση. Μπορείτε να βοηθήσετε την Βικιπαίδεια επεκτείνοντάς το. |