吴方法在命题逻辑中的应用

该文将命题逻辑的定理证明转换为多项式方程的求解问题，从而提出了一种基于非子句的代数化方法.在代数化的过程中，以一种形式化的方式给出了命题公式的文法定义，通过语法,语义分析实现了命题公式的代数化.此外，又根据特征列的性质，提出了一种逻辑推论自动生成的方法.