理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- Hansen-Hurwitz estimator
- Hansen problem
- Hansen theory
- Han Seol Ya
- Han Seung-won
- Hans Fischer
- Hans-Georg Gadamer
- Hans Georg von der Gabelentz
- Hans Gugelot
- Hans Gustav Adolf Gross
- Han Shan
- Hanshan
- Hanshan Deqing
- Han Shangyi
- Hanshan Laoren Mengyou Ji
- Hanshan Qu
- Hanshan Temple
- Hanshan white cashmere goat
- Hanshan Xian
- Han Shaogong
- Han Shaoyun
- Han Sheng
- Han Shengxin
- Han Shichang
- Han Shizhong