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

μ
Διόρθωση συντακτικών λαθών με τη χρήση AWB (8097)
μ (r2.6.4) (Ρομπότ: Τροποποίηση: es:Reductio ad absurdum)
μ (Διόρθωση συντακτικών λαθών με τη χρήση AWB (8097))
Η '''απαγωγή σε άτοπο''' ([[λατινικά]] ''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>.
 
Χρησιμοποιήθηκε από τον [[Αριστοτέλης|Αριστοτέλη]] σε συνδυασμό με την [[αρχή αποκλειόμενου μέσου]] και την [[αρχή μη-αντίφασης]]. Σημαντική πηγή επιχειρημάτων εις άτοπο απαγωγής αποτελούν οι πλατωνικοί διάλογοι καθώς και οι αντινομίες του [[Ιμμάνουελ Καντ|Καντ]].
==Παραπομπές==
<div style="font-size:85%; -moz-column-count:2; column-count:2;"><references /></div>
 
{{Μαθηματικά-επέκταση}}
 
[[Κατηγορία:Μαθηματική λογική]]
 
 
{{Μαθηματικά-επέκταση}}
 
[[ar:البرهان بنقض الفرض]]
30.905

επεξεργασίες