Conjonction logique

Page d'aide sur l'homonymie Pour les articles homonymes, voir Conjonction.

La conjonction logique de deux événements, comme son nom l'indique, représente le fait que deux événements sont conjoints (présents simultanément).
Dans le langage logique ou mathématique et dans les domaines techniques qui l'emploient, la conjonction, ou ET logique, est un opérateur logique dans le calcul des propositions. La proposition obtenue en reliant deux propositions par cet opérateur s'appelle également leur conjonction, ou leur produit logique. La conjonction de deux propositions P et Q est vraie si les deux propositions sont simultanément vraies; sinon elle est fausse. La conjonction s'écrit :

PQ

et se lit

« P et Q »

Par exemple, considérons :

(x > 13) ∧ (x < 27).

Si x vaut 36, alors x > 13 est vrai, mais x < 27 est faux, ainsi cette proposition est fausse. Mais si x vaut 20, alors les deux parties de la proposition sont vraies, ainsi la conjonction est également vraie.

Le symbole « ∧ » s'appelle connecteur de conjonction.

La table de vérité d’une conjonction est donnée par le tableau suivant

P Q P ∧ Q
vrai vrai vrai
vrai faux faux
faux vrai faux
faux faux faux

Intuitivement, l'opérateur logique travaille de la même manière que le mot commun « et ». La phrase « Il pleut et je suis à l'intérieur » affirme que deux choses sont simultanément vraies : qu'il pleut dehors, et que je suis à l'intérieur. Logiquement, cette affirmation serait notée A et B, si A représente l'affirmation « il pleut », et B remplace « je suis à intérieur ».

La conjonction 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 conjonctions, 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 A, B, et C sont simultanément vraies. L'enchaînement des conjonctions est rendu possible grâce à l'associativité du ∧. L'opérateur est également commutatif ; AB est équivalent à BA.

Donnons quelques propriétés de la conjonction :
Soient P, Q et R trois propositions.

  • (PP) ⇔ P idempotence du « et »
  • (PQ) ⇔ (QP) commutativité du « et »
  • ((PQ) ∧ R) ⇔ (P ∧ (QR)) associativité du « et »
  • ¬ (PQ) ⇔ ((¬ P) ∨ (¬ Q)) la négation d'une conjonction est la disjonction des négations
  • ¬ (PQ) ⇔ ((¬ P) ∧ (¬ Q)) la négation d'une disjonction est la conjonction des négations
  • (P ∨ (QR)) ⇔ ((PQ) ∧ (P ∨ R)) distributivité de « ou » par rapport à « et »
  • (P ∧ (QR)) ⇔ ((PQ) ∨ (PR)) distributivité de « et » par rapport à « ou »
  • ¬ (P ∧ (¬ P)) loi de non contradiction

La généralisation de la conjonction à des familles (éventuellement infinies) de propositions est la quantification universelle, qui fait partie du calcul des prédicats.

Voir aussi

Liens internes

  • Portail de la logique Portail de la logique
  • Portail de la philosophie Portail de la philosophie
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Conjonction logique ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”