理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- Shanting Qu
- Shantou
- Shantou Museum
- Shantou Port
- Shantou Wan
- Shan Tribe
- Shantung maple
- shanty towns
- Shanwangcun Paleontologic Fossil Nature Reserve
- Shanwang fauna
- Shanwangian Stage
- Shan Wanli
- Shanwei Shi
- Shanwuwei
- Shanxi
- Shan Xian
- Shanxian biomass power generation plant
- Shanxi and Shaanxi Commercial Guild Hall in Liaocheng
- Shanxi and Shaanxi Commercial Guild Hall in Sheqi
- Shan Xianggong
- Shanxi Archives
- Shanxi Art Museum
- Shanxi Aviation Professional Technical Institute
- Shanxi Bafu Ling Provincial Nature Reserve
- Shanxi-Beijing gas transmission pipeline