查询词典 logic level indicator

The pitch organization logic of pentatonic twelve-tone is the most important structure logic in Luo Zhongrong's twelve-tone music works, mainly composed of two structure types: pentatonic tonality serial and pentatonic atonality serial.

五声性十二音的音高组织逻辑是罗忠镕十二音作品中最重要的结构逻辑，主要有五声性调性序列和五声性非调性序列两种结构类型。

Firstly,the authoress analyzes severaljurisprudential points of the view on the logic structure of legal rules,andexpounds his own opinion on the logic structure of legal rules.

首先对法理学界有关法律规则的逻辑结构的几种观点作了分析，并阐述自己对法律规则逻辑结构的认识。

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

He has taught the following courses since he became a teacher in 2001: first-order logic, modal logic, the axiomatic set theory, recursive theory and model theory.

已开课程有《一阶逻辑》《模态逻辑》《公理集合论》《递归论》《模型论》。2005年11月至2006年11月，访学于阿姆斯特丹大学逻辑、语言与计算研究所。

LK affirms that logic is a universal method.If logic can be amathematical method,it can surely be used as a way to identify knowledge concept,atool of deduction and the method of knowledge system axiomatization.

知识逻辑主义"断言逻辑是一种普遍的方法，逻辑既然能成为数学的方法，就必然能为任何知识系统提供方法论，可以成为定义知识概念的方法、知识，推演的工具和知识体系公理化的方法。"

The economics methodology has formed a whole battery of analytical framework and tool under the influence of scientific philosophy, which is characterized by logic positivism, negativism and historical materialism. The fundamental characteristics of the economics methodology are based on the axiomatization positive logic deductive method, which assumes the rational human being as its hypothetic premise. The most remarkable characteristic of the economics methodology is the general application of mathematics in economics and it is developing forward to the more accurate and magnificent system.

特别是在以逻辑实证主义、证伪主义和历史主义为代表的科学哲学的影响下，经济学的方法论已经发展出一整套的分析框架与工具，基本特征是建立在"理性人"假设基础上的公理化的实证的逻辑演绎方法，最突出的表现是数学在经济学中的广泛应用，并正在向着更为精密与恢弘的体系演进。

The pneumatic logic is simple Boolean logic based on the sign of the position error.

气动力学的逻辑是简单的布尔逻辑根据位置误差的标志。

Later, based on the same idea, Li Jun gave the theory of truth degrees of formulas in many-valued Lukasiewicz propositional logic and canonical sequence logic system.

随后李骏基于相同思想给出了Lukasiewicz多值命题逻辑与标准序列逻辑系统中公式的真度理论。

Legal syllogism is the basic model which is used by the accuser, the defender and the trier in criminal trial. What is its logical foundation? There are mainly three kinds of viewpoints up to now. According to traditional theory, it is categorical syllogism and deductivists think it is whole deductive logic, while anti-deductivists deny that logic plays an important role in a trial.

法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式，其背后的逻辑基础是什么，目前主要有三种观点：根据传统观点，法律三段论的逻辑基础是直言三段论；演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础；反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。

Legal syllogism is the basic model which is used by the accuser,the defender and the judge in criminal trial.What is its logical foundation? There are mainly three kinds of viewpoints up to now.According to traditional theory,it is categorical syllogism,and deductivists think it is whole deductive logic,while anti-deductivists deny that logic plays an important role in a trial.

法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式，其背后的逻辑基础是什么，目前主要有三种观点：根据传统观点，法律三段论的逻辑基础是直言三段论；演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础；反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。

Continuously improve the production mechanism, to provide customers with better quality products and services.

不断的完善生产机制，给客户提供更优质的产品及服务。

B:Yes, he was the very prize-winner in the court tennis ten years ago?

是的，他是十年前的世界网球冠军。