disjonction [latin : dis, séparé ; et jungere, joindre] (2) :
Connecteur noté ∨ (lire "ou"), défini par la table de vérité suivante :
p
|
q
|
p∨q
|
V
|
V
|
V
|
V
|
F
|
V
|
F
|
V
|
V
|
F
|
F
|
F
|
La proposition p∨q
est fausse si et seulement si les propositions p et q sont fausses toutes les
deux, autrement dit :
La proposition p∨q est vraie si et seulement si p
est vraie, ou q est vraie, ou les propositions p et q sont vraies toutes les
deux.