理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- Management of Internet Culture Construction
- management of irrigated grassland
- management of laboratory animal facility
- management of landscape architecture
- management of landscape ceaning
- management of landscape cultural facilities
- management of landscape environment
- management of landscape exhibits
- management of landscape waters
- management of locomotive operation
- Management of medical safety
- management of mineral resources
- management of mineral resources and reserves
- management of mineral resources development and utilization
- management of natural resource property rights
- management of new title proposals
- management of postoperative pain
- management of public health emergency events at sea
- management of pumping irrigation and drainage system
- management of radio and television archives
- management of regional economic
- management of reservoir operation
- management of run of mine
- management of sand mining in river & lake
- management of sand mining in Yangzi river