disjonction

disjonction

La disjonction de deux propositions P et Q est la proposition qui est vraie si l’une au moins des deux propositions P et Q est vraie, et fausse si les deux propositions sont fausses.

Symbole

La disjonction des propositions P et Q est notée « P ∨ Q » et se lit « P ou Q ».

Propriété

La table de vérité de la disjonction logique est la suivante :

P Q P ∨ Q
1 1 1
1 0 1
0 1 1
0 0 0

dans laquelle 1 = vrai et 0 = faux.

La conjonction logique et la disjonction logique sont liées par les Lois de De Morgan.

¬(P∧Q) ⇔ ¬P∨¬Q

¬(P∨Q) ⇔ ¬P∧¬Q