【命题代数】的繁体字: 命題代數
【命题代数】的读音为 mìng tí dài shù,无声调拼音为 ming ti dai shu,简拼为 MTDS
【命题代数】的笔画分别为8画、15画、5画、13画,部首分别为口部、页部、亻部、攵部。
【分字繁体字】命的繁体字 题的繁体字 代的繁体字 数的繁体字
布尔代数又称“逻辑代数”,是英国数学家、逻辑学家布尔(George Boole)1815—1864所创立的一个代数系统。布尔认为,逻辑关系和某些数学运算甚为类似,代数系统可以有不同的解释,把解释推广到逻辑领域,就可以构成一种思维的演算。命题代数(propositional algebra)一种特殊的布尔代数。设W是某一语言中所有命题构成的集合,且设T与F分别为真、假命题,∨,∧,分别为命题的析取,合取,否定联结词,则布尔代数〈W,∨,∧,,T,F〉就是命题代数。