你
请解释一下「命题代数」这个词的含义。
助手
命题代数
mìng tí dài shù · ㄇㄧㄥˋ ㄊㄧˊ ㄉㄞˋ ㄕㄨˋ
ming ti dai shu
mtds
ㄇㄧㄥ ㄊㄧ ㄉㄞ ㄕㄨ
2026-07-10 17:52:08
扩展释义
布尔代数又称“逻辑代数”,是英国数学家、逻辑学家布尔(George Boole)1815—1864所创立的一个代数系统。布尔认为,逻辑关系和某些数学运算甚为类似,代数系统可以有不同的解释,把解释推广到逻辑领域,就可以构成一种思维的演算。命题代数(propositional algebra)一种特殊的布尔代数。设W是某一语言中所有命题构成的集合,且设T与F分别为真、假命题,∨,∧,分别为命题的析取,合取,否定联结词,则布尔代数〈W,∨,∧,,T,F〉就是命题代数。