查询词典 propositional logic

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 .

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

Based on our former work on agent BDI logic, multi-agent cooperation logics and multi-agent cooperative problem solving process modeling, as well as the work of Baral et al. on non-monotonic temporal logics, strong and weak exceptions were introduced to Alternating-time Temporal Logic that was the primogenitor of multi-agent cooperation logics. As a result, non-monotonic alternating-time temporal logic was developed, and its syntax and semantics were proposed.

在前期关于Agent BDI逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上，借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术，利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑进行拓展，建立非单调交互时态逻辑NATL，给出其语法和语义。

Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.

包括的领域包括： provability的逻辑，对生物学，心理学，物理学，化学，经济学和其他基础科学的computability 理论的应用； computability 理论和可计算的模型；逻辑学和空间时间几何学；混合法；逻辑和基于地区的空间的理论。

In fact, once we take a closer examination on some of his classical texts, it's not very difficult for us to find that Mill's psychologism was strictly limited by himself. On the one hand, he asserted that the logic as an art got its theoretical basis from the logic as a science, which, in a very broad sense, was taken as a part of psychology, and on the other hand, he also asserted that logic could receive some enlightenment regarding how to construct a theory from psychology.

事实上，只要更仔细地研读穆勒本人的经典文本，我们就不难发现，穆勒对自己的心理主义做了严格的限定：他一方面断言，作为一项技艺的逻辑学从作为一门科学的逻辑学那里获得全部的理论基础，而作为科学的逻辑学广义上乃是心理学的一部分；另一方面他又断言逻辑学可以从心理学那里获得理论构造方面的启示。

So it was last week in Selma , alabama.

上星期在亚拉巴马州塞尔马市发生的事件也是这样一个转折点。

The group also spearheads various social programs in China.

该组织还带头参与中国的各种社会活动。