Lorsque l'on a deux propositions "P", "Q",
on peut former une proposition que l'on appelle la disjonction de
ces deux propositions, et que l'on note "P ou Q". La
proposition "P ou Q" est vraie si l'une au
moins des deux 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.
Ainsi la proposition "xy = 0" équivaut à la proposition "x = 0 ou y = 0", elle est vraie quand l'un des deux nombres
est nul, elle est aussi vraie quand les deux sont nuls.
Remarque
Une notation des
logiciens pour
"P ou Q" est "P Ú Q", que nous
n'emploierons pas dans ce cours.
