逻辑上

The inspection unit includes storing unit, logic switching unit and drive change-over switch, inspects whether the storing unit is normal via detecting the edge change, sets the output of abnormal storing unit in certain logic level and performs different logic operations to different logic level setting values.

检验装置包括储存单元、资料切换开关与边缘探测器。其是以边缘变化是否正确来检验储存单元的运作是否正常，并将出现问题的储存单元的输出设定在一固定的逻辑电位上，再对不同逻辑电位设定值使用不同的逻辑运算。

ELNF calculus is a functional/logic calculus system which based on LNF calculus by extending it to include logic programming ability.

ELNF演算的解释技术金海，李智勇，张运桢，阳富民，银海（华中理工大学计算机系，武汉430074）摘要ELNF演算是我们在LNF演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言RFUNLOG的基础。

Using the infinite product of unevenly distributed probability space with potential of 3, the concept of formula truth degree was introduced into the Gdel 3-valued propositional logic system. Moreover, it was proved that in the 3-value (1/4, 1/2, 1/4), measure the set of truth of degree of propositions was dense in [0, 1], and a general expression of truth degree was obtained, providing a basis for further developing approximate reasoning of 3-valued propositional logic system.

利用势为3的非均匀概率空间的无穷乘积，在Gdel三值命题逻辑系统中引入公式的真度概念，在三值逻辑(四分之一，二分之一，四分之一)测度下证明G3中全体公式的真度值之集在[0， 1]上是稠密的，并给出公式真度的表达通式，为进一步在三值命题逻辑系统中展开近似推理奠定基础。

Based on the logic dependent relation and first-order logic, AND/OR graphs of single target with unit agent, and single target with multi-agent, joint targets with multi-agent were gotten respectively. As an example, single target with multi-agent was used to illustrate AO(superscript *) searching algorithm of logic dependent relations.

在分析逻辑依赖关系与一阶谓词表示法基础上，分别给出了单agent单目标、多agent单目标、多agent联合目标的逻辑依赖关系的与／或图表达方法，并应用与／或图的AO搜索算法，以多agent单目标情形为例，演示多agent系统中逻辑依赖关系的计算过程。

It is sometimes also used to refer to tense logic, a particular modal logic-based system of temporal logic introduced by Arthur Prior in the 1960s.

有时也用来指紧张的逻辑，特别是模态逻辑为基础的系统的时序逻辑之前介绍的阿瑟在上世纪60年代。

These texts are considered the body of Aristotle's work on logic, though there is a great deal in the Organon that we would not consider logic, and many of Aristotle's other works, most notably the Metaphysics, deal to some extent with logic.

这些文本被认为是机构的亚里士多德的工作逻辑，尽管有大量的欧加农，我们不会考虑逻辑，许多亚里士多德的其他作品，最突出的是形而上学，处理在一定程度上与逻辑。

In this paper,in residue class ring Z_m,the concept of the strict avalanche criterion of order k of m-valued logical functions is presented.

给出了剩余类环Zm上逻辑函数的k阶严格雪崩准则的概念，用概率方法证明了m值逻辑函数满足高阶严格雪崩准则时一定满足低阶严格雪崩准则，并借助Chrestenson谱给出了m值逻辑函数满足k阶严格雪崩准则的一个充分必要条件。

Part Three The study of Lattice-valued Modal First-order Logic System and Its Resolution Principle In this part, we introduced quantifiers and predicate into LMP, put up lattice-valued modal first-order logic system LMF, and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. Moreover, in order to judge the satisfiability of formula, defined Skolem standard type and H-interpretation. Based on these work, made a primary discussion of a - resolution principle based on LMF.

第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统LMP队）中引进量词和谓词，建立格值模态一阶逻辑系统LMF（广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的 Skolem标准型和体解释；在此基础上，对基于系统LMF的a一归结原理进行了初步探讨。

He promised not to tell anyone else about it. To treat comrades like enemies is to go over to the side of the enemy. The manager announced his intention to retire. The old man walked slowly on the ice in order not to fall down.

作状语 不定式中的动词仍然具有动词的特性，可以有自己的宾语和状语，另外虽然动词不定式在语法上没有表面上的主语，但它所表达的意义是动作，这一动作的执行者就是该动词的逻辑主语，动词不定式要和它的逻辑主语在语态和时态上保持一致。

The paradox in this article just means that the conclusion drawn from certain theorem of deontic logic does not accord with people's direct or common sense or habitual understanding, not means what we generally called, which would lead to contradictions in logical system.

文中所说的&悖论&，只是指由道义逻辑中的某个定理推出的结论，与人们在直观上或常识上或习惯上的理解是不相符的，也不是通常说的那种会导致逻辑系统产生矛盾的悖论。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。