##  [Boolesche Algebra](/de/node/60207) 

 Definition

Ein komplementärer distributiver Verband mit größtem und kleinstem Element, der algebraische Operationen bereitstellt, die Konjunktion, Disjunktion und Negation der klassischen Logik entsprechen.

 

 

 

 

 

 





## Prinzip

Prinzip

Distributivität zusammen mit der Existenz von Komplementen für jedes Element erzwingt klassisch-bivalentes logisches Verhalten und typische algebraische Identitäten (De-Morgan-Gesetze, Absorption usw.).

 

 

 

 

 





## Demonstration

Demonstration

Die Potenzmenge einer Menge mit Vereinigung, Schnitt und Mengenergänzung (und der Gesamtmenge bzw. der leeren Menge als obere/untere Schranke) ist eine kanonische boolesche Algebra; boolesche Algebren entstehen auch als Algebra propositionaler Formeln modulo logischer Äquivalenz.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Jeden komplementären Verband ohne Prüfung der Distributivität als boolesch anzusehen (es gibt komplementäre Verbände, die nicht distributiv und daher nicht boolesch sind).

 

 

 

 

 





## Konsequenz

Konsequenz

Boolesche Algebren modellieren die klassische Aussagenlogik, erlauben algebraische Manipulationen (Homomorphismen, Ideale/Filter) und besitzen Darstellungssätze, die sie mit bestimmten topologischen Räumen von Ultrafiltern verbinden und duale Perspektiven eröffnen.

 

 

 

 

## Umkehrung

Umkehrung

Eine Heyting-Algebra schwächt die boolesche Algebra, indem sie das Gesetz vom ausgeschlossenen Dritten fallen lässt (keine Pflicht zu booleschen Komplementen), und bildet den algebraischen Rahmen für die intuitionistische Logik.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Boolesche Algebra ist eine spezielle Klasse von Verbänden: Distributivität, Komplementbildung und Schranken sind erforderlich. Strukturen, denen eine dieser Eigenschaften fehlt (modulare Verbände, distributive Verbände ohne Komplemente), fallen nicht darunter.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Spannung zwischen boolescher Algebra und verwandten algebraischen Darstellungen (Boolescher Ring, distributiver Verband, Heyting-Algebra): verschiedene Darstellungen betonen unterschiedliche Operationen und führen zu unterschiedlichen Verallgemeinerungen.

 

 

 

 

 





## Synthese

Synthese

Eine boolesche Algebra ist die algebraische Verkörperung klassischer bivalenter Logik: ein distributiver Verband mit Komplementen und Schranken, dessen Operationen den logischen Junktoren entsprechen und der sowohl algebraische als auch topologische Repräsentationen zulässt.