Λογική διάζευξη

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

Στη μαθηματική λογική, διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές όταν ένας ή περισσότεροι από τους όρους στους οποίους ενεργεί είναι αληθής. Στη γλώσσα αντιστοιχεί στη φράση "ή", αν και συχνά η φράση "ή" έχει την έννοια της αποκλειστικής διάζευξης. Στον γραπτό λόγο συχνά χρησιμοποιείται και η γραφή "ή/και" για να τονιστεί ότι πρόκειται για απλή και όχι αποκλειστική διάζευξη.

Πίνακας αλήθειας[Επεξεργασία | επεξεργασία κώδικα]

Για τη λογική διάζευξη χρησιμοποιούνται επίσης τα σύμβολα OR και \lor \,. Παρακάτω δίνεται ο πίνακας αλήθειας για την πρόταση \ p \lor q \,.

p q
A A A
A Ψ Α
Ψ Α Α
Ψ Ψ Ψ

(όπου Ψ=Ψευδής, Α=Αληθής)

Δείτε επίσης[Επεξεργασία | επεξεργασία κώδικα]