Un retículo acotado distributivo (con máximo 1 y mínimo 0) en el que todo elemento a tiene un complemento a' tal que a ∧ a' = 0 y a ∨ a' = 1; estructura algebraica que modela la lógica proposicional clásica y las operaciones de conjuntos.

Principio

La regla organizadora es la distributividad junto con la existencia de complementos: la conjunción y la disyunción se comportan como intersección y unión, y cada proposición o subconjunto admite una negación canónica que permite el razonamiento bivalente clásico.

Demostración

El conjunto potencia P(X) de un conjunto X, con ∧ = intersección, ∨ = unión, 0 = ∅, 1 = X y complemento el complemento de conjuntos, es una álgebra booleana; también los valores de verdad con ∧, ∨ y ¬ forman tal estructura.

Aplicación incorrecta

Tratar cualquier retículo complementado como booleano sin verificar la distributividad (por ejemplo, confundir retículos ortocomplementados de la lógica cuántica con álgebras booleanas) conduce a errores como repartir ∧ sobre ∨ cuando puede no ser válido.

Consecuencia

En una álgebra booleana se puede aplicar razonamiento proposicional clásico, usar complementos únicos para definir la negación y traducir la estructura a un anillo booleano equivalente; emergen formas normales y resultados de clasificación útiles.

Inversión

Invertir hacia un retículo acotado no booleano (por ejemplo, un retículo complementado no distributivo o una álgebra de Heyting) donde los complementos pueden faltar o no valga el tercio excluido; las equivalencias clásicas desaparecen.

Límite

Requiere acotamiento, operaciones binarias ∧ y ∨, distributividad y complementos para cada elemento; excluye estructuras sin complementos, sin distributividad o que sólo representan lógica intuicionista. Las álgebras booleanas finitas e infinitas son similares algebraicamente, aunque sus representaciones pueden variar en cuestiones de cardinalidad.

Tensión semántica

Compite con presentaciones equivalentes como los anillos booleanos (mismo contenido algebraico pero primitivas distintas) y con retículos complementados no distributivos; la elección de operaciones primitivas cambia la intuición y las herramientas técnicas.

Síntesis

Una álgebra booleana es la idealización algebraica de la lógica clásica bivalente y de las operaciones sobre conjuntos: un retículo distributivo acotado donde cada elemento tiene un complemento único, permitiendo la negación clásica y el cálculo booleano.