理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- total least squares
- total least squares estimation
- total least squares problem
- total least squares (TLS) problem
- total length closing error of traverse
- total life cycle design
- totalling
- total luminescence spectrum
- total lunar eclipse
- totally additive content
- totally additive function
- totally antisymmetric Levi-Civita tensor
- totally bounded
- totally bounded set
- totally bounded space
- totally complex field
- totally continuous
- totally correct program
- totally cut set
- totally definite quaternion algebra
- totally degenerate group
- totally differentiable
- totally differentiable function
- totally disconnected
- totally disconnected compact group