Un principe logique et algébrique qui produit une déclaration « duale » valide en intervertissant systématiquement des opérations et des constantes appariées (par exemple ET ↔ OU, VRAI ↔ FAUX, 0 ↔ 1) dans une formule ou une loi, principalement en logique propositionnelle et en algèbre de Boole.

Principe

Si une expression ou une loi est valide dans un cadre booléen ou de treillis, alors l'expression obtenue en remplaçant chaque opérateur et constante par son dual (selon les paires duales établies) est également valide.

Démonstration

En algèbre de Boole, la loi distributive a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c) a pour dual a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c), obtenu en intervertissant ∧ et ∨ et en dualisant 0 et 1 si présents.

Mauvaise application

Appliquer la dualité sans dualiser aussi toutes les constantes pertinentes ou sans respecter la structure algébrique (par exemple tenter de dualiser une implication ou un opérateur modal sans dual défini) peut produire des énoncés non valides.

Conséquence

La dualité fournit des théorèmes appariés et raccourcit les dérivations en permettant d'obtenir mécaniquement une seconde loi à partir d'une loi connue, révélant des symétries structurelles dans les algèbres de Boole et les treillis.

Inversion

L'inverse de la dualité consiste à laisser les opérateurs et les constantes inchangés au lieu de les échanger ; autrement dit, considérer une formule et son prétendu dual comme non reliés plutôt que connectés systématiquement.

Limite

S'applique aux contextes propositionnels, algébriques de Boole et de treillis où des paires duales sont définies ; elle ne vaut pas automatiquement dans les logiques intensionales, la plupart des systèmes modaux ou les cadres sémantiques dépourvus des duals requis.

Tension sémantique

Une tension apparaît entre la formation duale syntaxique et la complémentation sémantique : la dualité est une recette syntaxique qui coïncide parfois avec la prise de complément, mais dans certains contextes complément et dualité sont des opérations distinctes.

Synthèse

Principe De Dualité : une transformation syntaxique mécanique dans les contextes booléens et de treillis qui permute opérateurs et constantes appariés pour produire des lois compagnes valides, valable seulement lorsque les paires duales et la structure algébrique sous-jacente sont respectées.