命题代数

【词语拼音】mìng tí dài shù

【词语繁体】命題代數

【词语结构】ABCD式词语

【词语字数】四字词语

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