Λογική διάζευξη
(Ανακατεύθυνση από Διάζευξη)
Το λήμμα δεν περιέχει πηγές ή αυτές που περιέχει δεν επαρκούν. |
Στη μαθηματική λογική, διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές όταν ένας ή περισσότεροι από τους όρους στους οποίους ενεργεί είναι αληθής. Στη γλώσσα αντιστοιχεί στη φράση "ή", αν και συχνά η φράση "ή" έχει την έννοια της αποκλειστικής διάζευξης. Στον γραπτό λόγο συχνά χρησιμοποιείται και η γραφή "ή/και" για να τονιστεί ότι πρόκειται για απλή και όχι αποκλειστική διάζευξη.
Πίνακας αλήθειας[Επεξεργασία | επεξεργασία κώδικα]
Για τη λογική διάζευξη χρησιμοποιούνται τα σύμβολα OR και (προέρχεται το λατινικό vel). Παρακάτω δίνεται ο πίνακας αλήθειας για την πρόταση .
p | q | p ∨ q |
---|---|---|
A | A | A |
A | Ψ | Α |
Ψ | Α | Α |
Ψ | Ψ | Ψ |
(όπου Ψ=Ψευδής, Α=Αληθής)