La paire d'équivalences logiques reliant la négation à la conjonction et à la disjonction : ¬(A ∧ B) est équivalent à (¬A) ∨ (¬B), et ¬(A ∨ B) est équivalent à (¬A) ∧ (¬B) en logique classique et en algèbre booléenne.

Principe

La négation se distribue sur la conjonction et la disjonction en les dualisant : la négation d'une conjonction est la disjonction des négations, et réciproquement.

Démonstration

En termes d'ensembles, le complément de l'intersection de deux ensembles est égal à l'union de leurs compléments : (A ∩ B)^c = A^c ∪ B^c, instance directe des lois de De Morgan.

Mauvaise application

Appliquer mécaniquement les transformations de De Morgan dans des systèmes à négation non classique, dans des contextes modaux sans attention au domaine d'application, ou en logique intuitionniste où les biconditionnels peuvent échouer est une mauvaise application menant à des équivalences invalides.

Conséquence

Permet la simplification et la normalisation des formules logiques, facilite les transformations algorithmiques en algèbre booléenne et logique numérique, et explicite la dualité entre ∧ et ∨ sous négation.

Inversion

Si les équivalences de De Morgan sont niées, la négation ne peut plus être traitée comme un opérateur dualisant et de nombreuses simplifications et dualités standard en raisonnement booléen s'effondrent ; cela survient dans certaines logiques non classiques.

Limite

Valide en logique propositionnelle classique, en algèbre booléenne et en théorie standard des ensembles ; peut échouer ou nécessiter des modifications en logique intuitionniste, dans certaines logiques modales, sous-structurales ou sous des négations non standard.

Tension sémantique

La tension apparaît avec la négation intuitionniste : tandis que ¬(A ∨ B) implique (¬A) ∧ (¬B) classiquement, la direction inverse ou l'autre équivalence de De Morgan peuvent ne pas être prouvables intuitionnistement, créant une divergence sémantique.

Synthèse

Les Lois de De Morgan expriment comment la négation transforme les conjonctions en disjonctions de négations et vice versa ; elles codent une symétrie fondamentale de la logique classique qui soutient la simplification et les transformations duales.