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

This paper introduces a method for propositional logic calculation.

经典命题逻辑是现代形式逻辑的基础。

The classical proposition logic is the basis of modern formal logic.

真值表方法是命题逻辑的一种重要的方法。

Using a truth table is one of the important ways for proposition logic.

在对命题逻辑代数化表示的基础上，通过解多项式方程组，对命题公式进行等价转换、演绎推理。

This research paper of proposition logic algebra in the said, on the basis of the solution of equations by polynomial, propositional formula for equivalent conversion and deductive reasoning.

命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。

Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization.