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