逻辑代数

---

也叫“布尔代数”。一种代数化的逻辑。是用代数公式表示逻辑关系，把代数方法应用于逻辑研究的结果。由英国数学家布尔(George Boole)于1850年前后首创。就其抽象的数学形式说，逻辑代数已发展成为格论的分支的代数理论，通称布尔代数。逻辑代数实际上是抽象的布尔代数的逻辑解释或在逻辑上的应用。因对其所作解释的不同，主要分为类代数和命题代数。类代数是类逻辑(即从外延上理解的一阶一元谓词的逻辑)的代数化。对类代数中的符号另作命题逻辑的解释，就得到命题代数。布尔代数还可以作几何或拓扑的解释。^*文恩图解就是布尔代数的几何图解。除外，布尔代数述在其他领域如开关理论和计算机设计中得到解释。