全部

1·This paper introduces a method for propositional logic calculation.

介绍了命题逻辑演算方法。

2·And the proposition is the propositional sign in its projective relation to the world.

一个命题就是一个处在对世界的投影关系中的命题符号。

3·Instituting the propositional theory is necessary for a scientific study of sociology.

建构命题化的理论是社会学研究科学化的必然要求。

4·Each Girard quantale can provide the theoretical base of linear propositional formula.

它为线性命题公式提供了理论基础；

5·Propositional formulas decision is one of core issues in artificial intelligence field.

命题公式的判定是人工智能领域中的一个核心问题。

6·This paper deals with the formal system of propositional calculus of medium logic (MP).

本文讨论了中介逻辑命题演算(MP)的形式系统。

7·In the knowledge implication propositional logic system which build on this strategy, 1.

在根据这种策略而建立的知识蕴涵命题逻辑系统中：1。

8·The proposition and classification of propositional forms are a very complicated problem.

命题及命题形式的分类是一个相当复杂的问题。

9·Furthermore, it presents a creditability problem about theorem proof in propositional logic.

也引申出命题逻辑定理证明的一个可信性问题。

10·Best method still asks to give propositional teacher, strive for audit next its give lessons.

最好的方法还是打听出命题教师，然后争取旁听其授课。

(1)propositional logic命题逻辑

(1)propositional calculus命题演算