理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- skip lot sampling inspection
- skip-lot sampling inspection
- skipout
- skipping orbit
- skip shaft
- skip slope
- skip vacuum filter
- Skirt
- skirt
- skirtron
- skirt structure
- skis
- ski sports tourism
- ski suit
- Skitovich
- Skitovich-Darmois theorem
- skitron
- skive
- SKLER
- Skleron
- SKLFS
- Sklodowska crater
- Skogar Museum
- Skolem
- Skolem expansion