命题代数的日文

• めいだいだいすう

• 命题逻辑布尔代数:    めいだいろんりののブールだいすう
• 命题:    （1）題目を出す. 命题作文／題目を与えて作文させる. （2）〈論〉命題. （3）〈数〉命題.定理.
• 代数:    代数.代数学.▼“代数学 dàishùxué ”の略称.
• 假命题:    ぎのめいだい
• 命题1:    しけんもんだいをだす 試験 問 題 を出す

例句与用法

1. 逻辑代数与命题代数有所不同。
2. 命题代数在结构上与类代数完全相同。
3. 只要对类代数中的符号另作命题逻辑的解释，或者干脆改为相应的命题逻辑符号，就得到命题代数。
4. 而且，在二值的真值代数中特别可以有定理“p=1或p=0”，但在一般的命题代数和类代数中却没有与此相应的定理。
5. 这时，?、∨和∧作为命题运算正好满足形式上与类代数的基本定律相对应的定律，而整个命题代数可包括命题逻辑的全部内容。
6. 命题代数和类代数可以有各种形式的公理系统，尤其是都可以有关于布尔展开式的定理，它相当于命题逻辑中的优析取范式和优合取范式的定理。

其他语言

命题代数的英语：algebra of propositions