|
|
 |
 |
 |
|
|
|
|
|
Lorsque l'on a deux propositions P,
Q, on peut former une proposition que l'on appelle la disjonction
de ces deux propositions, que l'on note (P ou Q), qui est vraie
si l'une au moins des propositions P ou Q est vraie.
Attention, ce point diffère du langage courant. En mathématiques, le
(ou) est non-exclusif, c'est-à-dire qu'il comprend la possibilité
que les deux propositions soient vraies.
