逻辑

In the industrial production process, huge amount of sequence control switch, which moves in accordance with the logical order of conditions and the logical relationship between the protection action of the control chain, and a large number of discrete data collection.

在工业生产过程中，大量的开关量顺序控制，它按照逻辑条件进行顺序动作，并按照逻辑关系进行连锁保护动作的控制，及大量离散量的数据采集。

Cohen analyses further that the reason for Nozick's getting into the definitional circle is that he sticks to the principle of self-ownership which says that each person enjoys, over herself and her powers, full and exclusive rights of control and use, and therefore owes no service or product to anyone else that she has not contracted to supply.

康德式的以及德沃金式的反对意见认为，由于作为概念的自我所有在组合上是不连贯的，在含义上是不确定的，所以作为概念的自我所有在逻辑上就是不成立的，而既然作为概念的自我所有在逻辑上是不成立的，也就谈不上存在自我所有原则，更谈不上自我所有原则构成了诺齐克持有正义理论的实质。

However, the Kantian and Dworkin-style objection say that Nozick doesn't stick to the principle of self-ownership because self-ownership as a concept can't be logical tenable, and hasn't the definite meaning, so there can be not the principle of self-ownership, let alone that the principle of self-ownership forms the nature of Nozick's theory of justice in holdings.

柯亨对自我所有概念的逻辑分析表明，既然自我所有概念在逻辑上是成立的，康德式的以及德沃金式的反对意见也就不攻自破。

But that is not true, the logic of the operation of the school support the logic of the operation of the Dan-wei. At the same time, the former also erode the latter's territory.

事实并不完全如此，作为单位的学校之运作逻辑支撑了作为学校的单位之运作逻辑的同时，前者也侵占了后者的&领地&。

The school of abstract logic holds that logic deals with the validity of argument, which is completely abstracted from the context of the argument used, and is essentially deductive logic and monotonic; while the school of embedded logic insists that logic is the study of standards for good arguments in real life, therefore it is essentially non-monotonic.

对这个问题的两种不同回答，形成了逻辑学的两个学派－抽象逻辑学派和具体逻辑学派。抽象派主张逻辑学是研究有效论证的科学，具体派则认为逻辑学是研究好论证的标准的科学。

According to trip-demand time and space distribution characteristics of urban citizens, the peak-hour trip factor and saturation of road network were chosen as the evaluation indexes, meanwhile the index calculation formulas were given; then on the basis of fuzzy logic theory and index characteristics, the membership functions were established by using fuzzy logic toolbox of MATLAB, and the evaluation results of two indexes were analyzed; Finally, the evaluation process was illustrated by a case study of Yangzhou and the results indicated the validity and practicability of the method presented in this paper.

根据城市居民出行需求的时间分布特性和空间分布特性，选用高峰小时出行系数和高峰小时路网饱和度作为评价指标，同时给出指标计算公式；进而以模糊逻辑理论和指标特性为基础，利用MATLAB中的模糊逻辑工具箱得到隶属度函数图形，并对指标值的评价结果进行了分析；最后，用本文提出的方法对扬州居民出行需求合理性进行评价，表明了该方法的有效性和实用性。

But neoclassical theorists depart from the essence of the Keynesian aggregate theory when they try to develop it. They use static and comparative static method that is the Walras equilibrium, to explain the dynamic aggregate relations thatKeynes wanted to explain. In doing so, their theories fall into logical paradoxes and in order to avoid the difficulty neoclassical theory only can be applied to the barter economy.

而新古典理论家在阐释发展凯恩斯总量理论的过程中，背离了凯恩斯本人的初衷，用静态和比较静态的瓦尔拉斯一般均衡框架来解释凯恩斯要说明的总量关系，结果使理论陷于各种逻辑问题，为避免逻辑矛盾，该理论只适用于分析以物易物的实物经济关系。

But neoclassical theorists depart from the essence of the Keynesian aggregate theory when they try to develop it. They use static and comparative static method that is the Walras equilibrium, to explain the dynamic aggregate relations that Keynes wanted to explain. In doing so, their theories fall into logical paradoxes and in order to avoid the difficulty neoclassical theory only can be applied to the barter economy.

而新古典理论家在阐释发展凯恩斯总量理论的过程中，背离了凯恩斯本人的初衷，用静态和比较静态的瓦尔拉斯一般均衡框架来解释凯恩斯要说明的总量关系，结果使理论陷于各种逻辑问题，为避免逻辑矛盾，该理论只适用于分析以物易物的实物经济关系。

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.

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

Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers.

基本形式的概念作了解释，并象征文字意译是处理一些长度，以及一个测试程序，给出了真理的逻辑功能与一个完整的量词逻辑的证明过程。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。