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

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

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逻辑。。。。

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年代以后，中国学者对辩证法与辩证逻辑的区分已非常自觉。

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 production moved off-Broadway to New York City, where she won the Joseph E. Calloway award for her performance, and was profiled in American Theater Magazine as one of ten young theater artists to watch.

生产提出过百老汇的新的纽约市，在那里她赢得了约瑟夫calloway奖，她的表现，并于异型在美国的战区杂志之一， 10战区的青年艺术家观赏。

It's a risk tradeoff, and I believe that adding test support code usually wins.

这是一个风险的权衡，我相信添加测试代码通常会占上风。