命题逻辑

It is clear that the logical product of two elementary propositions can neither be a tautology nor a contradiction.

很清楚，两个基本命题的逻辑积可以既不是重言式也不是矛盾。

In the base of regularity of fuzzy logic s, combining triangular norms and logic s, it has lead proposition universal logic .

在分析模糊逻辑规律的基础上，把三角范数理论和逻辑学紧密结合起来，利用三角范数理论提出命题泛逻辑学。

This paper presents a Tableau decision algorithm for the dynamic description logic D-ALCO.D-ALCO is a combination of the description logic ALCO,the dynamic logic,and an action theory based on the possible models approach.

以D-ALCO的构建过程为基础，将ALCO的Tableau算法、命题动态逻辑的Tableau算法以及对可能模型途径的处理有机地结合起来，给出了D-ALCO的Tableau判定算法，证明了算法的可终止性、可靠性和完备性。

According to the logical rule of hypothetical proposition and disjunctive proposition , whose logical validity is decided by hypothetical plus disjunctive inference using " reducto and absurdum", polylemma is the using form of the 12 inference models.

根据假言、选言命题的逻辑规定，可构造出 1 2种推理模式。采用归谬赋值法，对其有效性进行判定，&N难推理&便是这种推理的语用形式

Of course,it is possible to develop global ethic because there are some uniform between China and Occident from the view of logical procession's formation and development,the main studied topi...

从中西伦理思想形成和发展的逻辑过程、探讨的主要命题及创立的德目、整体主义的价值原则和作为普遍道德律的&黄金规则&来看，中西伦理思想异中有同，这一切在全球伦理受到前所未有关注的今天，随着人类在发展中文化冲突与融合的加剧、全球意识的形成，使全球伦理的建构成为可能。

In logic, the two propositions are not right, but I believe them.

从逻辑上讲，这两个命题还缺少成立的条件，但是我相信。

1 The propositions of logic are tautologies.

6.1 逻辑命题是重言式。

The logic is here the same as with the Hegelian proposition,"the spirit is a bone": the failure itself of a first reading gives us the true meaning.

这里的逻辑与黑格尔的命题是一样的，&精神是一块骨头&：第一个阅读的失败本身为我们给出了真正的意义。

In phenomenologicalterms,we can say,both the noesis of material intuition and experience direct toexistence in their material,not like formal intuition directing to non-existing logicand mathematic matters.

如果用现象学的术语说的话，那么实质的直觉与经验认识在意向行为的质料上都是指向存在物的，不像同一性命题最终以非存在的逻辑、数学为指向对象。

Most logicians hold that tense reflects time and that tense is a constant argument of the proposition,whereas other logicians adhere to the thesis that tense has nothing to do with the truth-value of the proposition,but that it is a necessary part of the clause which carries the belief that the involved action,etc.should be successful.

逻辑学家一般认为，时态反映时间，时态是判断命题真假的一个常项；尽管也有学者坚持时态与时间无关，但却强调时态是确保小句所述活动能否实现的一个必要成分。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。