7.611
επεξεργασίες
Διαφορά μεταξύ των αναθεωρήσεων του «Εις άτοπον απαγωγή»
καμία σύνοψη επεξεργασίας
(stub για αρχή) |
|||
|
Χρησιμοποιήθηκε από τον [[Αριστοτέλης|Αριστοτέλη]] σε συνδυασμό με την [[αρχή αποκλειόμενου μέσου]] και την [[αρχή μη-αντίφασης]].
Συνήθως η αντίθετη της προς απόδειξη πρότασης δεν είναι άμεσα ή φανερά λανθασμένη η ίδια. Αλλά οδηγεί σε [[Αν και μόνο αν|ισοδύναμα]] συμπεράσματα που αυτά είναι σαφώς λανθασμένα.
{{Μαθηματικά-επέκταση}}
| |||