Ein logisches und algebraisches Prinzip, das eine gültige 'duale' Aussage erzeugt, indem paarweise verknüpfte Operatoren und Konstanten (z. B. UND ↔ ODER, WAHR ↔ FALSCH, 0 ↔ 1) systematisch vertauscht werden, typischerweise in Aussagen- und Boolescher Logik.

Prinzip

Wenn ein Ausdruck oder Gesetz in einer Booleschen Algebra oder einem Verband gültig ist, dann ist auch der Ausdruck gültig, der entsteht, indem man jeden Operator und jede Konstante durch ihr Dual ersetzt (laut den festgelegten Dualpaaren).

Demonstration

In der Booleschen Algebra hat das Distributivgesetz a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c) als Dual das Gesetz a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c), erhalten durch Vertauschung von ∧ und ∨ und Dualisierung von 0 und 1, sofern vorhanden.

Fehlanwendung

Wenn man die Dualität anwendet, ohne alle relevanten Konstanten ebenfalls zu dualisieren oder ohne die algebraische Struktur zu beachten (z. B. Versuch, Implikation oder modale Operatoren ohne definiertes Dual zu dualisieren), entstehen möglicherweise ungültige Aussagen.

Konsequenz

Dualität liefert gepaarte Theoreme und verkürzt Herleitungen, indem sie erlaubt, aus einem bekannten Gesetz mechanisch ein zweites abzuleiten und so strukturelle Symmetrien in Booleschen Algebren und Verbänden sichtbar zu machen.

Umkehrung

Die Umkehrung der Dualität besteht darin, Operatoren und Konstanten unverändert zu lassen statt sie zu vertauschen; man behandelt also eine Formel und ihren möglichen Dual als unabhängig statt systematisch verbunden.

Abgrenzung

Gilt in aussagenlogischen, booleschen und verbandstheoretischen Kontexten, in denen Dualpaare definiert sind; gilt nicht automatisch in intensionalen Logiken, den meisten modalen Systemen oder semantischen Rahmungen ohne die erforderlichen Duale.

Semantische Spannung

Es besteht eine Spannung zwischen syntaktischer Dualbildung und semantischer Komplementierung: Dualität ist ein syntaktisches Verfahren, das manchmal mit Komplementierung zusammenfällt, in anderen Kontexten jedoch davon unterscheidbar ist.

Synthese

Prinzip Der Dualität: eine mechanische syntaktische Transformation in booleschen und verbandstheoretischen Kontexten, die gepaarte Operatoren und Konstanten vertauscht, um ebenso gültige Begleitgesetze zu erzeugen, gültig nur dort, wo die Dualpaare und die zugrunde liegende algebraische Struktur gegeben sind.