逻辑上的

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.

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

Logical atomism that has some significance more or less which requires us to think about seriously, like any significant philosophical ideology includes three points:(1) logical atomism developed Ernst March's comtism;(2) It directly affected Vienna Circle on behalf of logical comtism and the philosophy of language analysis;(3) It suggested the scientific realistic approach and rational approach.fourth, the difficult and reason of searching certain knowledge of logical atomism.

逻辑原子主义同历史上任何有影响的哲学思想一样，或多或少有一些价值值得我们认真对待和参考，主要包括三点：(1)逻辑原子主义发展了马赫的实证主义；(2)它直接影响了以维也纳学派为代表的逻辑实证主义和后来的语言分析哲学；(3)它体现了科学的求实精神和理性精神。四、逻辑原子主义寻求确定性知识的困难及其原因考察。

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的基础。

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系统中逻辑依赖关系的计算过程。

If a maximally great being exists in one logically possible world, it exists in every logically possible world.

如果一最大地伟人 being 在一个逻辑地可能的世界上存在，它在每个逻辑地可能的世界上存在。

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.

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

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一归结原理进行了初步探讨。

It holds that, by means of logic inference,"x believes p" can be interpreted as "x thinks that p is true". By the same token, the system of the Logic of Belief can-be established, on the basis of the logic of its classical proposition, by adding the modal auxiliary "should "before t...

作者认为，从逻辑的观点出发，可以简单地将&x 相信 p&解释为&x认为p是真的&，与之相对应，信念逻辑系统可以在经典命题逻辑的基础上加入模态词&应该&而得以建立。

It holds that, by means of logic inference,"x believes p" can be interpreted as "x thinks that p is true". By the same token, the system of the Logic of Belief can-be established, on the basis of the logic of its classical proposition , by adding the modal auxiliary "should "before the verb "believe".

作者认为，从逻辑的观点出发，可以简单地将&x 相信 p&解释为&x认为p是真的&，与之相对应，信念逻辑系统可以在经典命题逻辑的基础上加入模态词&应该&而得以建立。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。