理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- marine fresh water generator
- marine fuel oil system
- marine fuel saving
- marine functional area monitoring
- marine functional group
- marine functional zoning
- marine function zoning
- marine fungi
- marine gamma-ray survey
- marine gas hydrate geochamical characters
- marine gas hydrate geological characteristic
- marine gas hydrate geophysical characters
- marine gas hydrate resources investigation
- marine gas hydrate test production
- marine gelatinous zooplankton
- marine geochemical exploration
- marine geochemical exploration for oil and gas
- marine geochemical survey
- marine geodesy
- marine geodesy information processing system
- marine geo-engineering
- marine geographical information service system
- marine geographic information data model
- marine geographic information system
- marine geography