Ποια είναι η μέθοδος απόδειξης "με αντίφαση"

Ποια είναι η μέθοδος απόδειξης "με αντίφαση"



Η απόδειξη είναι λογική λογική,Καθορίζει την ειλικρίνεια μιας δήλωσης με τη βοήθεια αποδεδειγμένων αληθειών. Ταυτόχρονα, αυτό που πρέπει να αποδειχθεί ονομάζεται διατριβή και τα επιχειρήματα και οι λόγοι είναι ήδη γνωστές αλήθειες.





Ποια είναι η μέθοδος απόδειξης "με αντίφαση"

















Απόδειξη από την Αλήθεια

Απόδειξη "από το αντίθετο" (στα Λατινικά"reductio ad absurdum") χαρακτηρίζεται από το γεγονός ότι η ίδια η διαδικασία απόδειξης μιας γνώμης εκτελείται με την αντίθεση της αντίθετης κρίσης. Η λανθάνουσα αντίθεση μπορεί να αποδειχθεί με την καθιέρωση του γεγονότος ότι είναι ασυμβίβαστη με την αληθινή πρόταση. Συνήθως μια τέτοια μέθοδος αποδεικνύεται οπτικά χρησιμοποιώντας τον τύπο, όπου Α είναι η αντίθεση, και Β είναι η αλήθεια. Εάν στην λύση αποδεικνύεται ότι η παρουσία της μεταβλητής Α οδηγεί σε αποτελέσματα διαφορετικά από το Β, τότε αποδεικνύεται η ψευδαίσθηση του Α.

Απόδειξη "με αντίφαση" χωρίς τη χρήση της αλήθειας

Υπάρχει μια ευκολότερη φόρμουλα για την απόδειξηρωγμή του "αντίθετου" - η αντίθεση. Ένας τέτοιος κανόνας-τύπος λέει: "Εάν προκύψει μια αντίφαση στην λύση με μεταβλητή Α, το Α είναι ψευδές". Δεν έχει σημασία αν η αντίθεση είναι αρνητική ή θετική πρόταση. Επιπλέον, ένας απλούστερος τρόπος απόδειξης του αντίθετου περιέχει μόνο δύο γεγονότα: διατριβή και αντίθεση, η αλήθεια Β δεν χρησιμοποιείται. Στα μαθηματικά αυτό απλοποιεί σε μεγάλο βαθμό τη διαδικασία απόδειξης.

Ανάμνηση

Στη διαδικασία απόδειξης, το αντίθετο (το οποίοπου ονομάζεται ακόμα "μείωση στον παραλογισμό") χρησιμοποιεί συχνά την απάγκοα. Αυτή είναι μια λογική τεχνική η οποία έχει ως στόχο να αποδείξει την απιστία οποιασδήποτε απόφασης, έτσι ώστε άμεσα ή τις συνέπειες που προκύπτουν από αυτήν εντοπίστηκαν αντίφαση. Αυτή η αντίφαση μπορεί να εκφραστεί στην ταυτότητα προφανώς διαφορετικά αντικείμενα ή ως έξοδοι: μια σύζευξη ή ισοδυναμία ζεύγος Β και Β (και όχι true true) .Εάν απόδειξη «από αντίφαση» χρησιμοποιείται συχνά στα μαθηματικά. Σε πολλές περιπτώσεις, δεν είναι δυνατόν να αποδειχθεί η πλάνη της κρίσης με άλλη μέθοδο. Εκτός από την απάθεια, υπάρχει και μια παράδοξη μορφή απόδειξης από το αντίθετο. Αυτή η μορφή έχει χρησιμοποιηθεί σε «Elements» Ευκλείδης και αντιπροσωπεύει τον ακόλουθο κανόνα: Α θεωρείται αποδεικνύεται όταν λαμβάνονται καταδεικνύουν και «αλήθεια αναλήθεια» A.Takim τρόπο, η διαδικασία της αποδείξεως του αντιθέτου (αυτό ονομάζεται επίσης μια έμμεση απόδειξη και apogogicheskim) ως ακολούθως. Διατυπώνεται μια άποψη κατά της διατριβής, από την αντίθεση αυτή προκύπτουν συνέπειες, μεταξύ των οποίων και το ψεύτικο. Βρίσκουν στοιχεία ότι μεταξύ των συνεπειών υπάρχει πράγματι ένα ψεύτικο. Από αυτό συνάγεται το συμπέρασμα ότι η αντίθεση είναι λάθος, και πάλι λάθος αντίθεση, το λογικό συμπέρασμα ότι η αλήθεια βρίσκεται στη διατριβή.