查询词典 logic of relation

"In logic, a relation that holds between two propositions when they are linked as antecedent and consequent of a true conditional proposition."

在逻辑中，指两个命题被归为真实条件命题的前因与后果时二者之间的关系。

From the point of view of relation logic, not only can proposition O be reversed but also its reverse has general significance as proposition A, E, I, O do, and the conclusion of its reverse is not any kind of proposition

从关系逻辑的观点看，O命题不但是可以换位的——其换位所得的结论不是 A、E、I、O命题——而且如同 A、E、I 命题的换位一样，O 命题的换位也是有其一般意义的

From the point of view of relation logic, not only can proposition O be reversed but also its reverse has general significance as proposition A, E, I, O do, and the conclusion of its reverse is not any kind of pr...

从关系逻辑的观点看，O命题不但是可以换位的——其换位所得的结论不是 A、E、I、O命题——而且如同 A、E、I命题的换位一样，O命题的换位也是有其一般意义的

From the viewpoint of logic of relation, syllogism is not the inference based on Relation A, E, I, O between general term and general term as Jan Lukasiewicz thought. In stead, it is the inference based on the identical relation or non-identical relation between member of class and member of class.

从关系逻辑的观点看，三段论并非如卢卡西维茨所认为的那样是根据普遍词项的A、E、I、O关系所进行的推理，而是根据类的分子与类的分子的等同于或不等同于关系所进行的推理。

To the at present prevailing invalid view in three value logic of three law about the thinking law, this text set out from dialectics about the dialectical relation principle of the universality and particularity , think the law of identity , law of contradiction , law of excluded middle are for guaranteeing the universal law of people's correct thinking has general guidance functions to human thinking , will not lose efficiency in this concrete scientific field of thinking of three value logic

针对时下流行的关于思维规律前三律在三值逻辑中失效的观点，本文从辩证法关于普遍性与特殊性的辩证关系原理出发，认为同一律、矛盾律、排中律是为了保证人们正确思维的普遍规律对人类思维具有普遍指导作用，不会在三值逻辑这一具体的思维科学领域内失效

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

At first, this paper expounds the order relation and first order logic properties of time axes. Secondly, this paper axiomatically models that using Tense Logic and dynamic logic, which aims at reflecting the properties of axes in fine grain by logical analysis.

随后分别用经典的时态逻辑Tense Logic和动态逻辑对时态数据库的时间轴进行了公理化建模，这样刻画的目的是为了&细精度&地体现时间轴的特点，并借助逻辑的方法对其分析。

The existing dichotomous division and trichotomous division of Chinese complex sentence can not meet the needs of description of the relationship of logic-semantic between relation words,for their logic foundation and the basis of the logic of OWL DL vary greatly.

如果要用OWL DL来表达关系词语本体，就必须保证OWL DL对关系词语间逻辑语义关系的描写，这需要外界为OWL DL提供一个具有合适逻辑基础的分类系统。

This text has two conclusions: 1、 from the relationship among the families after household division , the household idea of the farmer is changing. The lengthways singlehousehold idea is turning into the horizontal double household idea. The household relation becomes flat and core. 2^ From the relationship and that the farmer weighs the separation and the merging again and again ,we can understand that The benefits factor has surmounted blood relationship emotion .It imbeds the living logic of the farmer.

本文结论有二：1、从农民分家后家庭之间的紧密程度来看，目前农民的家族观念从纵向单系的家族观正在演变为横向双系的家族观，家族关系正在核心化。2、从农民对分与合的再三权衡和家庭间的亲疏关系来看，利益因素超越了血缘情感嵌入了农民的生活逻辑，家族关系日益理性化。

In this paper, the authors propose a temporal approaching relation and give a sort of temporal relations of propositions, based on Shoham s temporal logic, they propose a temporal logic which can describe uncertainty relation and is based on time--point and time--interval in proposition and first order case.

本文提出了时态逼近关系，并给出了命题不确定性时态关系的一种分类，在Shoham的时态逻辑基础上，对命题和一阶两种情况，提出了能描述不确定性时态关系，基于时间点和时间区间的时态逻辑。

But in the course of internationalization, they meet with misunderstanding and puzzlement.

许多企业已经意识到了这一点，但在国际化的进程中，仍存在一些误区与困惑。

Inorder toaccomplish this goal as quickly as possible, we'll beteamingup with anexperienced group of modelers, skinners, and animatorswhosenames willbe announced in the coming weeks.

为了尽快实现这个目标，我们在未来数周内将公布与一些有经验的模型、皮肤、动画制作小组合作。