Un retículo distributivo complementado con elemento mayor y menor que proporciona operaciones algebraicas análogas a la conjunción, disyunción y negación lógicas.

Principio

La distributividad junto con la existencia de complementos para cada elemento impone el comportamiento clásico bivalente y genera identidades algebraicas características (leyes de De Morgan, absorción, etc.).

Demostración

La álgebra de subconjuntos de un conjunto, con unión, intersección y complemento (y el conjunto total y el vacío como cota superior e inferior), es un ejemplo canónico de álgebra booleana; también aparecen como álgebra de fórmulas proposicionales modulo equivalencia lógica.

Aplicación incorrecta

Tratar cualquier retículo complementado como booleano sin verificar la distributividad (existen retículos complementados que no son distributivos y por tanto no son booleanos).

Consecuencia

Las álgebras booleanas modelan la lógica proposicional clásica, permiten manipulación algebraica (homomorfismos, ideales/filtros) y tienen teoremas de representación que las vinculan con ciertos espacios topológicos de ultrafiltros, ofreciendo perspectivas duales.

Inversión

Un álgebra de Heyting debilita la álgebra booleana al omitir la ley del tercero excluido (no exige la existencia de un complemento booleano para cada elemento), y constituye el marco algebraico de la lógica intuicionista.

Límite

La álgebra booleana es una clase específica de retículos: exige distributividad, complementación y cotas. Estructuras carentes de alguna de estas propiedades (retículos modulares, retículos distributivos sin complementos) quedan excluidas.

Tensión semántica

Tensión entre la álgebra booleana y presentaciones algebraicas afines (anillo booleano, retículo distributivo, álgebra de Heyting): estas presentaciones ponen el énfasis en operaciones distintas y sugieren diferentes generalizaciones.

Síntesis

Una álgebra booleana es la encarnación algebraica de la lógica clásica bivalente: un retículo distributivo con complementos y cotas cuyas operaciones corresponden a los conectivos lógicos y que admite representaciones tanto algebraicas como topológicas.