理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- resource location
- resource management
- resource management in grid
- resource management of publishing houses
- resource management strategy
- resource management system
- resource manufacturing management
- resource market allocation
- resource mobilization theory
- resource monopoly price
- resource of space
- resource ownership
- resource plan allocation
- resource planning
- resource planning management
- Resource Policy
- resource pool
- resource portfolio allocation
- resource production scheduling
- resource property right price
- resource property rights allocation
- resource protectionism
- resource purchasing
- resource ratio hypothesis
- resource record