Αρχή αποκλειόμενου μέσου

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Μετάβαση σε: πλοήγηση, αναζήτηση

Η αρχή του αποκλειόμενου μέσου ή νόμος της του τρίτου αποκλείσεως στην τυπική λογική γράφεται:

.

Συχνά επίσης σημειώνεται ως:

,

για κάθε πρόταση P, P είναι αληθής ή "όχι-P" είναι αληθής.

Παράδειγμα 1[Επεξεργασία | επεξεργασία κώδικα]

Για την πρόταση "Ο Σωκράτης είναι θνητός" ας πούμε ότι δεν γνωρίζουμε την τιμή αλήθειας. Με βάση την αρχή αποκλειόμενου μέσου προκύπτει ότι η διάζευξη "Είτε ο Σωκράτης είναι θνητός είτε είναι "μη-θνητός" είναι αληθής.

Παράδειγμα 2[Επεξεργασία | επεξεργασία κώδικα]

Θέλουμε να αποδείξουμε ότι υπάρχουν δύο άρρητοι αριθμοί και ώστε ο να είναι ρητός.

Απόδειξη:

O είναι άρρητος.

Ας πάρουμε τον αριθμό .

Αυτός θα είναι είτε ρητός είτε άρρητος (αρχή αποκλειόμενου μέσου).

Αν είναι ρητός η απόδειξη τελειώνει εδώ.

Αν είναι άρρητος τότε ας πάρουμε

και .

Τότε είναι

.

Ο αριθμός 2 είναι ρητός, και τούτο ολοκληρώνει την απόδειξη.-

Σχέση με προτασιακή λογική και αρχή μη-αντίφασης[Επεξεργασία | επεξεργασία κώδικα]

Η προτασιακή λογική προϋποθέτει ότι κάθε λογική πρόταση λαμβάνει ακριβώς μία από τις δύο τιμές αλήθειας (αληθές ή ψευδές). Η λεγόμενη κλασική λογική καθώς και οι περισσότερες (αλλά όχι όλες) θεωρίες μαθηματικής λογικής είναι προτασιακές λογικές. Χρησιμοποιείται και ο όρος δίτιμη ή δισθενής (bivalent) λογική.

Το "ή" στην αρχή αποκλειόμενου μέσου είναι απλή διάζευξη και όχι αποκλειστική διάζευξη. Από την αρχή αποκλειόμενου μέσου, μόνη της, δεν αποκλείεται η περίπτωση P είναι αληθής και "όχι-P" είναι αληθής. Επομένως η αρχή μη-αντίφασης συμπληρώνει την αρχή αποκλειόμενου μέσου.

Συνοψίζοντας:

  • Προτασιακή λογική: Για κάθε πρόταση P, P είναι ή αληθής ή ψευδής. Η αρχή αυτή μπορεί να εκφραστεί μόνο στη μεταγλώσσα και δεν περιλαμβάνεται στους ορισμούς ή αξιώματα της μαθηματικής λογικής θεωρίας.
  • Αρχή αποκλειόμενου μέσου: Για κάθε πρόταση P, P είναι αληθής ή "όχι-P" είναι αληθής. P ∨ ¬P
  • Αρχή μη-αντίφασης: Για κάθε πρόταση P, αποκλείεται να ισχύει ότι και P είναι αληθής και "όχι-P" είναι αληθής. ¬(P ∧ ¬P)

Εξωτερικοί σύνδεσμοι[Επεξεργασία | επεξεργασία κώδικα]