在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
predicate calculus
美：
[ˈpredɪkət ˈkælkjələs]查词链接：https://www.dute.org/dict/predicate_calculus复制链接 谓词演算：一种形式逻辑系统，用于表示和推理关于对象和它们之间关系的陈述。
查看英英释义
n.
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
网络释义
谓词演算
在这一章中，我们介绍谓词演算（predicate calculus），它是用于人工智能的一种表示语言。谓词演算的重要性已经在第二部分的介绍中有所提及，它的优点包括明确定义的形式语义（formal...
述词计算
... predicate 述词 predicate calculus 述词计算 predicate logic 述词逻辑 [谓词逻辑] ...
述词演算
... 述词演算 predicate calculus 述词逻辑 predicate logic 初始述词 initial predicate ...
述词计较
... predicate 述词 predicate calculus 述词计较 predicate logic 述词逻辑 [谓词逻辑] ...
常用短语
更多常用短语正在查询...
{error}
你是不是想查找：
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接：
{link}复制链接{phones}
{text}：[{value}]{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词： {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}