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

καλύτερη διατύπωσηη της προσθήκης από Dada
(μδιορθ)
(καλύτερη διατύπωσηη της προσθήκης από Dada)
Συνήθως η αντίθετη της προς απόδειξη πρότασης δεν είναι άμεσα ή φανερά λανθασμένη η ίδια. Αλλά οδηγεί σε [[Αν και μόνο αν|ισοδύναμα]] συμπεράσματα που αυτά είναι σαφώς λανθασμένα.
 
Η δομή του επιχειρήματος είναι τέτοια ώστε για να αποδειχθεί πως μία πρόταση είναι αληθής, ξεκινώνταςξεκινάμε από την υπόθεση πως η αντίθετη της είναι αληθής (δηλαδή η αρχική πρόταση είναι ψευδής),και καταλήγουμε σε ένα συμπέρασμα που αποτελεί [[αντίφαση]]. Τότε, εφόσον η αντίφαση προέκυψε από διαδοχή έγκυρων συλλογισμών προς [[αν και μόνο αν|ισοδύναμες]] προτάσεις, η αρχική υπόθεσηπρόταση θα πρέπει να είναι σε κάθε περίπτωση αληθής.
 
Ή αντίστοιχα, για να αποδειχθεί πως μία πρόταση είναι ψευδής, ξεκινώνταςξεκινάμε από την υπόθεση πως είναι αληθής, και καταλήγουμε σε ένα συμπέρασμα που αποτελεί [[αντίφαση]]. Τότε, εφόσον η αντίφαση προέκυψε διαδοχή έγκυρων συλλογισμών προς [[αν και μόνο αν|ισοδύναμες]] προτάσεις, η αρχική υπόθεσηπρόταση θα πρέπει να είναι σε κάθε περίπτωση ψευδής.
 
==Πηγές==
7.611

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