%0 Journal Article
%T 吴方法在命题逻辑中的应用
%A 李晶
%A 杨宗源
%J 华东师范大学学报(自然科学版)
%P 80-86
%D 2006
%X 该文将命题逻辑的定理证明转换为多项式方程的求解问题，从而提出了一种基于非子句的代数化方法.在代数化的过程中，以一种形式化的方式给出了命题公式的文法定义，通过语法,语义分析实现了命题公式的代数化.此外，又根据特征列的性质，提出了一种逻辑推论自动生成的方法.
%K 吴方法
%K 命题逻辑
%K 上下文无关文法
%K 定理证明
%K 逻辑推论
%K 吴方法
%K 命题逻辑
%K 上下文无关文法
%K 定理证明
%K 逻辑推论
%U http://xblk.ecnu.edu.cn/CN/abstract/abstract23866.shtml