理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- heat generation inreactor components
- heat gradient
- Heath
- heath family
- Heath Ledger
- heath management of traditional Chinese medicine
- heat in blood
- heat increment
- heat index
- heating
- heating and ventilation system of power house
- heating boiler
- heating coil
- heating cutting
- heating degree-day
- heating effect
- heating effect of microwave
- heating energy consumption
- heating equipment of hot water system
- heating for livestock house
- heating furnace flue gas
- heating load
- heating load calculaiton
- heating load duration curve
- heating machinery