查询词典 predicate logic

In addition, for a class of first-order predicate expression namely first-order predicate expression without free variable and with one quantifier, a necessary and sufficient condition for such first-order predicate expressions to be equivalent and a corresponding judging algorithm are come up with.

另外，对于一阶谓词公式的一个常见子类——无自由变元单量词的一阶谓词公式，提出了一个判定这种一阶谓词公式等价性的充分必要条件和判定算法。

After research we can find that: firstly, a great number of predicate-word phrases can act as the adnex of the verb-complement structure; secondly, almost all the verbal phrases and adjectival phrases can act as complement, and other phrases like adverbs, noun, quantifier phrases, some prepositional phrases and subject-predicate phrases, even compound sentence can act as complement too;thirdiy, there are six kinds of verb-complement structures in the novel;fourthly, the verb-complement structures can act as subject, predicate, object, attribute, adverbial modifier, complement in a sentence and other phrases component, even can be a sentence by itself; fifthly, the semantic connection between complement and other components in the sentence is very abundance and complex;sixthly, some special verb-complement structures in the Dream of the Red Chamber show the characteristic of transitional language.This thesis is divided into five parts:Part 1: Preface.

通过研究我们可以发现：首先，大多数的谓词性词语在《红楼梦》中都可以充当述补结构的述语；其次，几乎所有的动词性词语和形容词性词语都可以充当补语，少数副词和名词性词语也可以做补语，数量短语、介宾短语、主谓结构和复句也可以做补语；第三，述补结构的类型按中间的助词标记可以分为没有助词的，有&得/的&的，有&个&的，有&着&的，有&将&的和有&到&的六种；第四，述补结构可以充当主语、谓语、宾语、定语、状语、补语以及各种成分内部的组成成分，还可以单独成句，其语法功能非常丰富；第五，补语的语义指向是多方面的，语义内容非常复杂；第六，几种特殊的述补结构说明了《红楼梦》的述补结构带有过渡时期的特点。

Through the study, an implicational universal is discovered, i.e. if a language has object before predicate verb, then it has temporal adverbial for predicate before predicate verb.

然后我们对谓语时间词状语与谓语动词的语序类型进行了类型学考察，从考察中我们发现了一条与之相关的蕴含共性，即：如果一种语言的宾语在谓语动词之前出现的话，那么充当谓语状语的时间词也在谓语动词之前出现。

We may now distinguish a "two-place predicate"(which governs two arguments, e.g., subject and object), a "one-place predicate"(which governs one argument, i.e., subject) and a "no-place predicate" that has simply no argument.

因此，语义学家就用&述谓&这一范畴并把它分解成变元和谓语，前者是&逻辑参加者&，后者是&关系因素&，负责把变元联系起来。

The so-called Chinese Logic refers to ancient Chinese Logic. In other words, it is the traditional Chinese Logic which was not influenced from the western Logic composed mainly by Aristotelian Logic.

所谓中国逻辑，指"中国古代逻辑"，换句话说，就是指以亚里士多德逻辑为传统的西方逻辑传入中国之前的，未受其影响的中国传统逻辑。

The concept of logic ; Aristotelian logic ; deductive logic ; inductive logic ; dialectical logic.

逻辑观；亚里士多德逻辑；演绎推理；归纳逻辑；辩证逻辑

At least in the beginning of 21 century Logic Study will focus on the following topics: common sense inference which is paraconsistent, nonmonotonic and defeasible; generalized inductive inference and inductive logic; generalized intentional logic, especially epistemic logic; natural language understanding and logic of natural language.

如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的可错的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。

In part one (chapter 2-3), two new methods and systems of optical parallel logic operation are studied. Triple-in Double-out shadow-casting logic operation system is proposed and realized for the first time. Based on this, optical full adder and 3-bit decoder array logic have been obtained. It is the first time to use coding pattern and different reading-writing model to realize BSO-PROM optical parallel logic operation where the time-order operation is avoided, so that the computing speed of optical parallel logic gate which uses this kind of spatial light modulator is increased, and it is successfully used in optical symbolic substitution .

在第一部分，对两种新的并行光学布尔逻辑运算方法及系统进行了研究：首次提出并实现了三输入、双输出铸影光学逻辑运算系统及其由此得到的光学全加器，并提出一种以此为基础的3-比特译码器阵列逻辑，首次利用图形编码和不同的读写模式实现了无时序操作的BSO-PROM光并行逻辑运算，大大提高了这种空间光调制器用作光并行逻辑门的运算速度，使之成功地用于光学符号代换之中。

Deviant logic is a logic branch which are made up of by denying or modifying some basic principles of classical logic, including Intuitionism Logic, Many-Valued Logic, etc.

变异逻辑是由否定或修改经典逻辑的某些基本假定而形成的逻辑分支，包括直觉主义逻辑，多值逻辑等。

The prerequisite of the correct use of karnaugh map is to full in the map with the given logic function correctly. Karnaugh map can be used to transform logic function into various simplest expressions and check the race and hazard of logic function. It has a wider range of important applications in the analysis and design of combinational logic circuit and sequential logic circuit.

正确运用卡诺图的前提是把给定的逻辑函数正确填图，可以利用卡诺图将逻辑函数化简为各种最简表达式；可以用来检查逻辑函数的竞争冒险等；在组合逻辑电路和时序逻辑电路的分析与设计中更有广泛的重要应用。

Who? I never heard of him, Paul said, before asking teammate James Posey if he had heard of him.

赛后，科比说，他一直都是一名非常出色的射手，今天他打得很棒。

When I joined the company, I rotated around the different sections.

我加入这个公司时，轮换过几个不同的部门。