在线词典

分类：语言工具

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

输入要查询的单词：

近期查询：

predicate logic

查词链接：https://www.dute.org/dict/predicate_logic复制链接

谓词逻辑：一类符号形式系统，如一阶逻辑、二阶逻辑、多分类逻辑或无穷逻辑等。

查看英英释义

abstract:

In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic, or infinitary logic. This formal system is distinguished from other systems in that its formulae contain variables which can be quantified.

网络释义

谓词逻辑

在数理逻辑中，谓词逻辑（Predicate logic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或infinitary..

谓词演算

... primitive recursive predicate 原始递归谓词,原始递... predicate logic 谓词演算 false predicate 假谓词 ...

常用短语

predicate logic language谓词逻辑语言
first order predicate logic一阶谓词逻辑；叙述逻辑
first-order predicate logic一阶谓词逻辑
third order predicate logic三阶谓词逻辑
First-order Fuzzy Predicate Logic一阶模糊谓词逻辑
second-order predicate logic二阶谓词逻辑
first t order predicate logic一阶谓词逻辑
predicate logic of first order一阶谓词逻辑
predicate logic lock谓词逻辑锁

更多常用短语

正在查询...

在线词典

predicate logic

网络释义

常用短语

{error}

{word}

单词变体

常用短语

网络释义

近义词

同根词

词语辨析

{num}、{title}