This paper introduces a method for propositional logic calculation.

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

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

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

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

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

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

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

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

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