查询词典 classical logic

Distinct intellectual thinking based on classical formal logic and served as a kind of thinking fashion infiltrate thorugh human selfconsciousness of practice,as was featured by Helladic civilization.

类属边界表现清晰的知性思维构筑在古典形式逻辑之基础上，而作为一种思维方式，渗入人类自我意识的实践活动，其中以古希腊文明为代表昭示了这一过程。

Outstanding characteristic of Wang Yao"s study on Lu Xun lied in his wide vision from classic to modernization, and his macro-scopical assurance to the relationship between Lu Xun and Chinese and foreign culture, its particular exhibition is that "with the wide and deep Chinese classical literature training, he probed into historical origin of Lu Xun"s works, and dialyses Lu Xun"s works from literature and history So, Wang Yao Surmounted simple logic infer and carried on concrete analysis of real example nature.

王瑶鲁迅论的突出特点，在于由&古典&而&现代&形成的宏大广博的视野和在此基础上对鲁迅与中外文化关系的宏观把握，特别&是以广博深厚的中国古典文学修养探讨鲁迅作品的历史渊源，对鲁迅作品进行深广的历史的和文学的双重透视。&

His economic thought about the Industrial Revolution included: an amendment to laisser faire which he believed that if only were everybody's freedom guaranteed, promoting social welfare could been realized; enclosure being a pre-condition to the agricultural progress in Britain and the establishment of individualist ownership being a law in civilized societies; and also, a refutation to the wage-fund theory of classical economics by logic and evidence and its conclusion about the improvement of workers' living standard in the Industrial Revolution.

汤因比的有关经济思想主要包括三方面：对自由理论提出了修正，认为只有保证所有人的自由才能促进全社会的福利；将圈地视为英国现代农业进步的前提，并认可个人所有权的建立是文明社会发展的趋势；从理论和事实上批判了古典经济学的工资理论，同时也得出了工业革命中工人的生活水平不断改善的结论。

The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.

基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域，因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。

This paper describes the design of a BTT missile autopilot by means of the classical control theory, and the guidance logic using the proportional guidance law without any constraint in the maximum roll angle of the missile.

本文先用古典控制理论设计BTT导弹自动驾驶仪，采用比例导引规律，在导弹最大滚动角φ_不作限制的条件下设计制导逻辑。

By using competitive adsorption of activated carbom to remove unfavorable influence of carbon in carbonaceous gold concentrate on leaching process, the leaching rate of gold concentrate can be improved to 88% as compared with 10%by direct cyanidation.

本文论述了利用活性炭竞争吸附作用，消除含炭金精矿中炭在浸出过程中的影响，使金精矿的浸出率可由直接氰化的10％提高到88％。

The only thing you're ever gonna be king of is King of the Stupids!

你只配做傻瓜的国王！