Una álgebra de Boole es un retículo distributivo complementado con operaciones binarias meet (∧) y join (∨), complemento unario (¬) y elementos distinguidos 0 y 1, que satisface distributividad, leyes de complemento (x ∨ ¬x = 1, x ∧ ¬x = 0) e identidades de De Morgan.

Principio

El álgebra de Boole axiomiza la lógica clásica bivalente y el álgebra de conjuntos: las operaciones binarias se distribuyen mutuamente y cada elemento tiene un complemento único relativo a las cotas, posibilitando la manipulación algebraica de la verdad y la pertenencia.

Demostración

El conjunto de partes de un universo con ∪, ∩, complemento relativo al universo, el vacío como 0 y el universo como 1 es un álgebra de Boole; las fórmulas proposicionales módulo equivalencia lógica forman un álgebra de Boole bajo ∧, ∨ y ¬.

Aplicación incorrecta

Aplicar razonamiento booleano en retículos no distributivos (p. ej., retículos modulares sin complementos) o tratar complementos como complementos de conjuntos cuando la estructura no es booleana; asumir propiedades σ (medida) a partir de la estructura booleana es incorrecto.

Consecuencia

Permite la simplificación algebraica de expresiones lógicas y operaciones de conjuntos, posibilita teoremas de representación, soporta homomorfismos booleanos y cocientes, y sustenta la lógica digital y el razonamiento proposicional clásico.

Inversión

Un álgebra de Heyting (lógica intuicionista) debilita la exigencia de complemento: la negación no es necesariamente involutiva y x ∨ ¬x puede no ser 1. Eliminar la distributividad produce retículos complementados no booleanos con comportamiento distinto.

Límite

Debe ser acotada, distributiva y complementada; excluye retículos que carecen de distributividad o complementos, σ-álgebras (el cierre para uniones numerables es una noción distinta) y estructuras con solo pseudo-complementos.

Tensión semántica

Álgebra de Boole versus anillo booleano: ambos codifican la misma información algebraica pero con operaciones primitivas diferentes; álgebra de Boole versus σ-álgebra: la σ-álgebra añade cierre numerable enfocado a la medida.

Síntesis

Una álgebra de Boole es la estructura algebraica que captura la lógica clásica bivalente y la complementariedad de conjuntos: un retículo acotado y distributivo en el que cada elemento tiene un complemento único, permitiendo manipular algebraicamente verdad y pertenencia.