理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- Miyaoka Yoichi (1949—)
- Miyato Kuro
- Miyaura borylation
- Miyazaki Hayao
- Miyazaki-ken
- Miyazaki Toten
- Miyazawa Kenji
- Miyi Xian
- Miyoshi Akira
- Miyoshi Tatsuji
- Mi Youren
- Miyun Qu
- Miyun Reservoir
- Mizaq theory
- Mizar
- Mizar and Alcor
- Mizhi human settlement planning and construction
- Mizhi Xian
- Mizo
- Mizoguchi Kenji
- Mizohata operator
- Mizohata Sigeru
- Mizong Quan
- Mizoram Pradesh
- Mizoroki Heck reaction