Μαθηματική απόδειξη: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Γραμμή 36:
Η '''απόδειξη με αντιμετάθεση''' δείχνει το συμπέρασμα "αν ''p'' τότε ''q''" αποδεικνύοντας το ισοδύναμο [[αντιθετοαντίστροφο]] "αν ''όχι q'' τότε ''όχι p''".
===
{{κύριο|Εις άτοπον απαγωγή}}
Στην '''απόδειξη με απαγωγή σε άτοπο''' (γνωστή και ως ''εις άτοπον απαγωγή'', ή ''reductio ad absurdum'' στα Λατινικά), δείχνεται ότι αν κάποια πρόταση ήταν ψευδής, τότε συμβαίνει μια λογική αντίφαση, επομένως η αρχική πρόταση θα πρέπει να είναι αληθής. Αυτή είναι ίσως η πιο συχνά απαντούμενη μέθοδος σε μαθηματικές αποδείξεις. Μια διάσημη απόδειξη που κάνει χρήση αυτής της μεθόδου είναι η απόδειξη ότι το <math>\sqrt{2}</math> είναι άρρητος:
| |||