查询词典 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.

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

In mathematical logic, predicate logic is the formal system of universal symbolic terms, such as first order logic, second order logic, many types of logic or infinitary logic ...

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

Logical reasoning is the basis of artificial intelligence, the first-order predicate logic belonging to logic is a knowledge representation widely used, therefore,it is a meaningful task to study the reasoning problem of first-order predicate logic .

逻辑推理是人工智能的基础，而逻辑中的一阶谓词逻辑是使用较为广泛的知识表示方法，因此研究一阶谓词逻辑的推理问题是一项很有意义的工作。

Because 3-valued logic has a truth more than 2-valued logic, the quantity of truth of function of 3-valued logic is more than it of 2-valued logic, and 3-valued logic has a more powerful ability to handle problems than 2-valued logic does.

由于三值逻辑比二值逻辑多一个真值，所以三值逻辑的真值函项的数量比二值逻辑的真值函项的数量大得多，所以三值逻辑才会比二值逻辑有更强的处理问题的能力。

Extended logic is a logic branch which are made up of by using classical logic to analyze some concepts or categories of some special subjects, particularly, philosophy, including Modal Logic, Deontic Logic, Tense Logic, etc.

逻辑扩展逻辑则是利用经典逻辑的工具，去分析某些具体学科特别是哲学中的概念或范畴而建立的逻辑学分支，如模态逻辑、道义逻辑、时态逻辑等。

The monists maintain that some content of traditional logic, dialectical logic and induction should be excluded from the field of logic, and that traditional logic should be replaced by modern logic in logic teaching.

在传统与现代之争中，不再有人对传统逻辑持诸如&传统逻辑不是逻辑&的观点，对传统逻辑加以批评的学者都是从其不科学、不严密、包含有非逻辑的内容等方面入手。

The different debates about dialectical logic in the 21〓 century reflect the different attitude to dialectical logic. The monist conception of logic takes the so-called dialectical logic as a sub-discipline of philosophy and denies its legitimacy, and the pluralists differentiate dialectical logic from dialectic and regard the former as a kind of logic.

从20世纪30年代到世纪末，中国学者对辩证逻辑的看法走过了这样一个历程：30-40年代，有&辩证法可否成为逻辑&的争论；50-60年代，几乎没有学者公开对辩证逻辑作为逻辑的合法地位提出质疑；80年代之后，又起辩证逻辑是不是逻辑之争，但反对者的观点已变为&辩证逻辑不是逻辑&。80年代以后，中国学者对辩证法与辩证逻辑的区分已非常自觉。

Related new concepts include: proposition and predicate calculus of transition logic, excitation factors and transition conditions, star algorithm and its model in pansystems analysis, pansystem logic space, pans-ystem logic extending reasoning principle, dynamical yinyang logic, etc.

有关的新概念有：转移逻辑的命题演算与谓词演算，激活因素与转移条件，星算法及其泛系分析模型，泛系逻辑空间，泛系逻辑延拓推理和动态阴阳逻辑。

What was it that made you want to change sider ?

是什么使你临阵倒戈？

I don't know what he wants, but let's play along with him.

我不知道他要干什么，可我