查询词典 algebra of logic

Karl Marx's thought of alienation of labor is neither based methodologically on the logic of individual, nor based on the logic of original inter-subjective relations, but based on the logic of labor in motion.

由此，马克思劳动异化论的方法论基础不仅不是建立在单个人的基础之上，而且也不是建立在基始性的主体际性关系的基础上的，而是以动态性的劳动活动为核心内容的。

We call it many-valued logic in that this kind of logic studies logic theory that handles relations of propositions in which propositions have three truth values or more, even infinite, and do not limit in two truth values.

之所以称之为多值逻辑，关键原因在于其所研究的是具有三个或三个以上乃至无穷个真值的命题之间关系的逻辑理论，而不是仅仅限于真假二值。

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

In order to find its logic value and understand it how to affect logic. This paper is to discuss the book from the angle of methology and viewpoint of logic.

本文从方法论和逻辑学的观点出发，逐一讨论该书主题的逻辑价值及其对逻辑学发展的影响。

Proposition logic takes the proposition as the fundamental research object mathematization logical system,propo- sition logic is the mathematical logic foundation,also is the theoretical basic of computer science and the technical.

命题逻辑是一个以命题为基本研究对象的数学化的逻辑系统，命题逻辑是数理逻辑的基础，也是计算机科学与技术的理论基础。

Sixthly, spatio-temporal logic model combining space metric logic and temporal logic is investigated.

研究了结合度量空间和时态逻辑的时空推理模型。

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.

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

Meanwhile the standard monadic second order logic was substituted by a weaker logic framework: positive monadic partition logic.

同时，标准的existential monadic二阶逻辑也被一种更弱的规范框架——positive monadic分划逻辑所取代。

Logical reasoning is the basis of artificial intelligence, the first-order predicate logic belonging to logic is a knowledge representation widely used, therefore,it is a meaningful task to study the reasoning problem of first-order predicate logic .

逻辑推理是人工智能的基础，而逻辑中的一阶谓词逻辑是使用较为广泛的知识表示方法，因此研究一阶谓词逻辑的推理问题是一项很有意义的工作。

Diabetes is a social disease that affects several million people worldwide.

糖尿病是一个社会性疾病，全世界有数百万人罹患此病。

I'll call you on Friday to see if we can reschedule our luncheon meeting at your convenience.

我星期五会给您打电话在您方便的时候我们重新安排我们的午餐约会。