理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- power supply of instrumentation and control
- power supply of traction current transformer
- power supply service center
- power supply system for electric traction
- power supply system for urban rail transit
- power supply system ground test with an aircraft
- power supply system of el ectric traction
- power supply system of electric traction
- power supply trace
- power switching device
- power system
- power system active energy balance
- power system automatic security control equipment
- power system automatic unwinding device
- power system design
- power system development planning
- power system dispatcher flow
- power system dispatching
- power system fault
- power system insulation levels
- power system load
- power system oscillation
- power system overvoltage and insulation coordination
- power system planning
- power system relay protection configuration