predicate logic

predicate logic的基本解释

-

[计] 谓词逻辑

与predicate logic相关的网络例句 [注：此内容来源于网络，仅供参考]

One of the basic differences between sentencial logic and quantifier logic,or predicate logic,is that in sentential logic we take the sententially simple sentence as an unanalyzed whole,while in predicate logic we analyze these simple sentences into their component parts.

句子逻辑与限定逻辑或谓词逻辑的基本区别之一是句子逻辑中，我们把一个简单句看作未经分析的整体，而谓词逻辑中我们分析这些简单句，分析出他们的组成部分。

One of the basic differences between sentencial logic and quantifier logic,or predicate logic,is that in sentential logic we take the sententially simple sentence as an unanalyzed whole,while in predicate logic we analyze these simple sentences into their component parts.3 f0 o j: W

句子逻辑与限定逻辑或谓词逻辑的基本区别之一是句子逻辑中，我们把一个简单句看作未经分析的整体，而谓词逻辑中我们分析这些简单句，分析出他们的组成部分。

Application predicate logic on data sublanguage as its mathematical foundation would make the study of data sublanguage become the research of predicate logic and the optimization of data sublanguage become the matters of simplification of predicate logic.

本文旨在研究将谓词逻辑及公理化理论应用于关系数据库中表示数据子语言，应用谓词逻辑作为它的数学基础，使得对这些语言的研究成为对谓词逻辑的研究，优化数据子语言的表示成为对谓词逻辑的化简问题。

与predicate logic相关的网络解释 [注：此内容来源于网络，仅供参考]

predicate logic：谓词逻辑

理论上,如果完全使用形式语言(formal language)和谓词逻辑(predicate logic)构造一种语言是可以做到完全无歧义的. 但这样绝对精确的语言是不适合人类这种不精确的生物的. 我们需要谐音来开玩笑,需要双关的语义来写诗歌,需要用模棱两可的语言来敷衍不...

predicate logic：述詞邏輯

本课程置重点於命题逻辑(prepositional logic)及述词逻辑(predicate logic)中自然演绎法(natural deduction)上. 在本课程中,学者们将会学到一些逻辑的基本观念与技巧,诸如有效性(validity)、真值表(truth-table)、语意树枝及推论规则等等.

predicate logic：述词逻辑 [谓词逻辑]

predicate calculus 述词计算 | predicate logic 述词逻辑 [谓词逻辑] | predicate-argument structure 述词论元结构

predicate logic：谓词演算

predicate constant 谓词常数 | predicate logic 谓词演算 | predicate symbol 谓词符号

predicate logic language：谓词逻辑语言

predicate logic 谓词逻辑 | predicate logic language 谓词逻辑语言 | predicated response 预测响应