Ein distributiver, beschränkter Verband (mit oberem Element 1 und unterem Element 0), in dem jedes Element a ein Komplement a' besitzt mit a ∧ a' = 0 und a ∨ a' = 1; eine algebraische Struktur, die klassische Aussagenlogik und Mengenoperationen modelliert.

Prinzip

Das ordnende Prinzip ist die Distributivität zusammen mit der Existenz von Komplementen: Schnitt und Vereinigung verhalten sich wie ∧ und ∨, und jedes Element hat eine eindeutige Negation, wodurch bivalentes klassisches Schließen möglich wird.

Demonstration

Die Potenzmenge P(X) einer Menge X mit ∧ = Schnitt, ∨ = Vereinigung, 0 = ∅, 1 = X und der mengenmäßigen Komplemente bildet eine Boolesche Algebra; ebenso bilden Wahrheitswerte mit ∧, ∨ und ¬ ein solches Modell.

Fehlanwendung

Jeden ergänzten Verband fälschlich als boolesch zu behandeln, ohne Distributivität zu prüfen (zum Beispiel orthokomplementierte Verbände der Quantenlogik mit Booleschen Algebren verwechseln), führt zu falschen Aussagen wie der missbräuchlichen Anwendung der Distributivgesetze.

Konsequenz

In einer Booleschen Algebra lassen sich klassische logische Schlussregeln anwenden, eindeutige Komplemente als Negation verwenden und äquivalente Darstellungen als Boolesches Ring nutzen; Normformen und Klassifikationssätze werden verfügbar.

Umkehrung

Umkehr in einen nicht-booleschen beschränkten Verband (z. B. einen nichtdistributiven, ergänzten Verband oder eine Heyting-Algebra), in dem Komplementbildung oder das Gesetz vom ausgeschlossenen Dritten nicht gilt; klassische Äquivalenzen brechen zusammen.

Abgrenzung

Benötigt Beschränktheit, binäre Operationen ∧ und ∨, Distributivität und Komplemente für jedes Element; schließt Strukturen ohne Komplemente, ohne Distributivität oder solche, die lediglich intuitionistische Logik abbilden, aus. Endliche und unendliche Boolesche Algebren sind algebraisch vergleichbar, aber darstellungsbezogene Fragen können variieren.

Semantische Spannung

Steht im Spannungsfeld zu äquivalenten Präsentationen wie Booleschen Ringen (gleicher Inhalt, andere Primitive) und zu ergänzten, aber nichtdistributiven Verbänden; die Wahl der primitiven Operationen beeinflusst Intuition und Methoden.

Synthese

Eine Boolesche Algebra ist die algebraische Modellierung klassischer zweistufiger Logik und der Mengenoperationen: ein distributiver, beschränkter Verband mit eindeutigen Komplementen, der klassische Negation und boolesches Rechnen ermöglicht.