理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- electromechanical coupling
- electromechanical coupling equipment
- electromechanical indicating meters
- electromechanical servos
- electromechanical system flight test
- electro medicine
- electro-medicine
- electromer
- electromerism
- electrometallurgy
- electrometer
- electrometer of field strength
- electromigration
- electromigration injection
- electromigration refining of rare earth
- electromotance
- electromotive difference of potential
- electromotive force
- electromotive force, emf
- electromotive force of cell
- electromotive force of half cell
- electromotive force of mutual induction
- electromotive force of mutual induction, mutual induction electromotive force
- electromotive force of self-induction
- electromotive force of self-induction, self-induction electromotive force