理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- Mirzo Tursun-Zade
- MIS
- misadjustment
- Misaki
- Misako Miya
- misalign
- misalignment
- Misam
- misappropriation of assets
- misappropriation of funds criminal cases
- misappropriation of staff
- misarrangement
- miscalculation
- Miscellanea at Liaohuazhou
- Miscellanea at the Window
- Miscellanea in the Mountain
- Miscellanea of Prose
- miscellaneous
- Miscellaneous Anecdotes by Bi Zhongxun
- miscellaneous correlation
- miscellaneous corvee
- Miscellaneous Hundred and Twenty Songs
- Miscellaneous Morsels from Youyang - On Painting
- miscellaneous music melody
- Miscellaneous News from Guixin Street