Conjonction Logique

Conjonction Logique

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 Conjonction Logique de Wikipédia en français (auteurs)

См. также в других словарях:

  • Conjonction logique — Pour les articles homonymes, voir Conjonction. Cet article possède des paronymes, voir : Λ, ʌ et ^. La conjonction logique de deux événements, comme son nom l indique, représente le fait que deux …   Wikipédia en Français

  • Conjonction De Coordination — En grammaire, une conjonction de coordination est une catégorie grammaticale désignant un mot outil invariable, établissant une relation de coordination entre deux éléments (deux mots, deux syntagmes, deux propositions, ou même, deux phrases), de …   Wikipédia en Français

  • Conjonction et — Conjonction de coordination En grammaire, une conjonction de coordination est une catégorie grammaticale désignant un mot outil invariable, établissant une relation de coordination entre deux éléments (deux mots, deux syntagmes, deux propositions …   Wikipédia en Français

  • Logique binaire — Algèbre de Boole (logique) Pour les articles homonymes, voir Algèbre de Boole. L algèbre de Boole, ou calcul booléen, est la partie des mathématiques, de la logique et de l électronique qui s intéresse aux opérations et aux fonctions sur les… …   Wikipédia en Français

  • Logique booléenne — Algèbre de Boole (logique) Pour les articles homonymes, voir Algèbre de Boole. L algèbre de Boole, ou calcul booléen, est la partie des mathématiques, de la logique et de l électronique qui s intéresse aux opérations et aux fonctions sur les… …   Wikipédia en Français

  • Conjonction de coordination — En grammaire, une conjonction de coordination est une catégorie grammaticale désignant un mot outil invariable, établissant une relation de coordination entre deux éléments (deux mots, deux syntagmes, deux propositions, ou même, deux phrases), de …   Wikipédia en Français

  • Logique Linéaire — La logique linéaire (LL), inventée par le logicien Jean Yves Girard en 1986, est un produit de la théorie de la démonstration moderne. Elle résulte d une analyse du comportement des preuves des logiques classique et intuitionniste au travers de… …   Wikipédia en Français

  • Logique lineaire — Logique linéaire La logique linéaire (LL), inventée par le logicien Jean Yves Girard en 1986, est un produit de la théorie de la démonstration moderne. Elle résulte d une analyse du comportement des preuves des logiques classique et… …   Wikipédia en Français

  • Logique De Description — Les logiques de description aussi appelé logiques descriptives (LDs) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d un domaine d application d une manière …   Wikipédia en Français

  • Logique descriptive — Logique de description Les logiques de description aussi appelé logiques descriptives (LDs) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d un domaine d… …   Wikipédia en Français


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»