在线词典

分类:语言工具
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。

propositional calculus

查词链接:https://www.dute.org/dict/propositional_calculus复制链接
命题演算:一种逻辑系统,用于处理命题的真值和关系,通常用于分析和推理复杂的命题结构。
查看英英释义
n.
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

网络释义
命题演算
命题逻辑与谓词逻辑 命题逻辑(Propositional Logic或Sentential Logic)又称为命题演算(Propositional Calculus)是这样一个形式逻辑,其中,表达命题的公式能够被通过用逻辑联结词将原子命题组织而成,而且一个形式证明规则系统允许某个公式被...
命题逻辑
... 命题逻辑 propositional calculus; propositional logic 拚命 desperateness 诫命 commandment ...
命题统计
... propositional attitude 命题态度 propositional calculus 命题统计 propositional cohesiveness 命题的凝聚性 ...
常用短语
更多常用短语
近义词
[数]命题演算
* 以上查询结果来自于网络,仅供参考。
正在查询...