逻辑代数

---

数理逻辑的一个部分，以运用代数方法去研究类命题等逻辑客体为基础。

历史上逻辑代数是作为类的代数(参见布尔)出现的，只是后来才被作为命题代数来加以解释。逻辑代数只是从命题的真值方面来研究命题，而且把具有同一真值的命题视为相等的命题。

逻辑代数所使用的是字母符号。除了表示命题本身的符号以外，还采用逻辑运算的符号，借之以由一种逻辑代数表达式构成另一种表达式。在现代，逻辑代数在导电线路图和继电器接触线路图的理论中也得到了运用。