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

摘要：

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

关键词：吴方法、命题逻辑、上下文无关文法、定理证明、逻辑推论

分类号：TP301(计算技术、计算机技术)

在线出版日期：2006-04-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：80-86