Aller au contenu

Disjonction logique

Un article de Wikipédia, l'encyclopédie libre.
(Redirigé depuis Ou logique)

La disjonction logique, ou disjonction non exclusive, de deux assertions est une façon d'affirmer qu'au moins une de ces deux assertions est vraie (la première, la deuxième, ou les deux).

Dans le langage logique ou mathématique, et dans les domaines techniques qui l'emploient, elle se traduit par le OU logique, un opérateur logique dans le calcul des propositions. La proposition obtenue en reliant deux propositions par cet opérateur s'appelle également leur disjonction ou leur somme logique. La disjonction de deux propositions P et Q est vraie quand l'une des propositions est vraie, et est fausse quand les deux sont simultanément fausses.

Règles de la disjonction

[modifier | modifier le code]

En théorie de la démonstration, plus particulièrement dans la déduction naturelle et le calcul des séquents, la disjonction est régie par des règles d'introduction et des règles d'élimination.

La disjonction s'écrit : P ∨ Q et se lit « P ou Q »Le symbole « ∨ » s'appelle connecteur de disjonction.

Table de vérité

[modifier | modifier le code]

En logique classique, l'interprétation du connecteur ∨ peut être faite par une table de vérité[1].

P Q P ∨ Q
vrai vrai vrai
vrai faux vrai
faux vrai vrai
faux faux faux

Boole, par analogie étroite avec les mathématiques ordinaires, imposa dans la définition de x + y, la condition d'exclusion mutuelle de x et y. William Jevons, et pratiquement tous les logiciens en mathématiques qui lui succédèrent, préconisèrent pour diverses raisons l'emploi d'une définition de la somme logique ne rendant pas obligatoire l'exclusion mutuelle.

La disjonction que nous avons décrite est un opérateur binaire, ce qui signifie qu'elle combine deux propositions en une seule. Cependant, nous pouvons enchaîner des disjonctions, en considérant par exemple ABC, qui est par définition l'une ou l'autre des deux propositions logiquement équivalentes (AB) ∨ C ou A ∨ (BC). Cette proposition est vraie quand l'une des propositions A, B, ou C est vraie. L'enchaînement des conjonctions est rendu possible grâce à l'associativité du ∨. L'opérateur est également commutatif ; AB est équivalent à BA.

Propriétés de la disjonction

[modifier | modifier le code]

Soient P, Q et R trois propositions.

Idempotence du « ou » :

(PP) ⇔ P

Commutativité du « ou » :

(PQ) ⇔ (QP)

Associativité du « ou » :

((PQ) ∨ R) ⇔ (P ∨ (QR))

La négation d'une disjonction est la conjonction des négations : [2]

¬ (PQ) ⇔ ((¬ P) ∧ (¬ Q))

La négation d'une conjonction est la disjonction des négations : [3]

¬ (PQ) ⇔ ((¬ P) ∨ (¬ Q))

Distributivité de « ou » par rapport à « et » :

(P ∨ (QR)) ⇔ ((PQ) ∧ (P ∨ R))

Distributivité de « et » par rapport à « ou » :

(P ∧ (QR)) ⇔ ((PQ) ∨ (PR))

La notion correspondante en théorie des ensembles est la réunion.

« Et/ou »

[modifier | modifier le code]

On trouve parfois l'expression « et/ou ». C'est un barbarisme, dont le sens est exactement le même que la conjonction de coordination « ou » toute seule (« l'un ou l'autre ou les deux ») qu'il faut préférer[4].

Dans le langage courant, « l'un ou l'autre, mais pas les deux » sera rendu par la locution « ou bien ». En logique cela s'appelle la disjonction exclusive ou le ou exclusif, par opposition à « ou » qui s'appelle aussi la disjonction inclusive ou le ou inclusif. Cependant, si le contexte est sans ambiguïté, par exemple lorsque nous demandons « prendrez-vous du café ou du thé ? » — on suppose que la personne sollicitée ne prendra pas les deux —, il arrive que « ou » indique une alternative et possède le même sens que « ou bien ». De même avec « fromage ou dessert », le contexte du restaurant sous-entend que l'on ne peut pas avoir les deux.

Notes et références

[modifier | modifier le code]
  1. « Mathraining | Logique », sur www.mathraining.be (consulté le )
  2. Formule de De Morgan numéro 1
  3. Formule de De Morgan numéro 2
  4. « La pseudo-conjonction et/ou | Druide », sur www.druide.com (consulté le )

Articles connexes

[modifier | modifier le code]
  • Conjonction logique
  • Dilemme et principe d'agrégation (si j'ai l'obligation de faire A d'une part, et B d'autre part, mais que je ne peux faire A et B simultanément, l'obligation est-elle conjonctive (j'ai l'obligation de faire A et B bien que ce soit impossible) ou disjonctive?)
  • Quantificateur existentiel