查询词典 predicate logic

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

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.

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

When I started coding, I had problems with the ASF file writer.

当我开始编码，我曾与ASF文件作家的问题。

I know that in one of the schools the boys have risen up in the classroom and enlisted in a mass.

如果你们也和他们一样，是集体自愿的话，你们的老师将是多么地光荣啊。