命题代数

布尔代数又称“逻辑代数”，是英国数学家、逻辑学家布尔(George Boole)1815—1864所创立的一个代数系统。布尔认为，逻辑关系和某些数学运算甚为类似，代数系统可以有不同的解释，把解释推广到逻辑领域，就可以构成一种思维的演算。命题代数(propositional algebra)一种特殊的布尔代数。设W是某一语言中所有命题构成的集合，且设T与F分别为真、假命题，∨，∧，分别为命题的析取，合取，否定联结词，则布尔代数〈W，∨，∧，，T，F〉就是命题代数。