Conjonction et disjonction
Définition :
Soient et deux propositions. La conjonction (le "et" logique) et la disjonction (le "ou" logique) sont définies grâce à la table de vérité suivante :
|
|
|
| |
|---|---|---|---|---|
|
|
|
| |
|
|
|
| |
|
|
|
| |
|
|
|
|
Les deux premières colonnes de ce tableau représentent les 2*2 possibilités que l'on a pour les valeurs de vérité combinées de et .
Remarque :
Ne pas confondre les "et" et "ou" logiques avec le sens de "et" et "ou" dans le langage courant.
La disjonction est non exclusive, c'est-à-dire qu'elle est aussi vraie si les deux propositions sont vraies.
La conjonction est seulement vraie si les deux propositions sont vraies.
Syntaxe :
Dans certains textes, l'opération logique "et" est notée grâce au symbole "". En informatique, on utilise souvent "".
Pour la disjonction "ou", on peut trouver le symbole "" et en informatique "".
