查询词典 logic

Legal logic is useful in the processes of commanding legal concept,using legal concept up building and grasping proposition logically and carrying on legal reasoning accordingly.and doing logic reasoning forthe legal arbitrament and legal ideas which are to be made.

法律逻辑有助于准确掌握和运用法律概念，合乎逻辑地建立和把握命题并进行法律推理，对即将作出的法律裁决或法律意见进行逻辑论证。

Legal logic is useful in the processes of commanding legal concept, using legal concept, upbuilding and grasping proposition logically and carrying on legal reasoning accordingly, and doing logic reasoning for the legal arbitrament and legal ideas which are to be made.

法律逻辑有助于准确掌握和运用法律概念，合乎逻辑地建立和把握命题并进行法律推理，对即将作出的法律裁决或法律意见进行逻辑论证。

Re-carding the paradigms of the world history in architecture, finding out the logic of architectonics and considering the effect of religions and philosophy, we can find the necessity of the compatible and universal modern architectonic logic.

重新疏理古今中外的建造范式，研究建造的逻辑，考察哲学与宗教的影响，指明普适兼容的现代建造逻辑之必然性。传统建筑学中形式风格淹没建造应予废止。

This is based on a system of logic that has subsequently been adopted by most of the other Indian schools, much in the same way that Western science and philosophy can be said to be largely based on Aristotelian logic.

这是基于一个逻辑体系，随后被大多数其他印度学派所采用，可以说很大程度上就像西方科学和哲学是以亚里士多德的逻辑为基础一样。

Traditionally,Aristotelian logic,which dominated the logic scene for over 2 00 years(up to the beginning od the twentieth century),dealt almost exclusively with argument made up of sentences like "All A are B" and "some A are B".

按照传统的观点，统治了逻辑学界2000年之久的亚里士多德逻辑(直至20世纪初)，几乎唯一地处理由诸如句子"所有的A是B"以及"一些A是B"所组成的论证。

Just as he used logic to describe the foundations of mathematics in Principia Mathematica , Russell would use logic to clarify philosophy, through his concept of logical atomism, and linguistics, through his theory of descriptions.

正如他所使用的逻辑描述的基础数学中的数学原理，罗素将使用的逻辑，以澄清理念，通过他的逻辑原子主义的概念，与语言学，通过他的理论说明。

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月，访学于阿姆斯特丹大学逻辑、语言与计算研究所。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。