## [Álgebra de Boole](/es/node/60207) Definición 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 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 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 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 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 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 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 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 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.