月亮词典
首页
查询
propositional calculus
命题演算：一种逻辑系统
常用释义
词性释义
命题演算：一种逻辑系统，用于处理命题的真值和关系，通常用于分析和推理复杂的命题结构。
例句
全部
Construction
propositional
calculus
and
predicate
calculus
system
,
mathematical
theorems
derived
from
the
logical
axioms
;
构造命题演算系统和谓词演算系统，从逻辑公理推导出数学定理；
Application
of
Wu
's
Method
in
Propositional
Calculus
吴方法在命题逻辑中的应用
同义词
[数]命题演算
calculus of proposition