用特征列证明推理的一个方法  

An algebraic approach to proposition calculus with Characteristic set

作　　者：洪港[1] 王礼萍[2] 张树功[3] 

机构地区：[1]黑龙江东方学院基础教研部,哈尔滨150080 [2]哈尔滨学院理学院,哈尔滨150086 [3]吉林大学数学学院,长春130012

出　　处：《黑龙江大学自然科学学报》2014年第1期61-64,共4页Journal of Natural Science of Heilongjiang University

基　　金：黑龙江省教育厅科学技术研究项目(11553065);黑龙江高等学校教改工程项目(JG2012010514)

摘　　要：将命题推理证明转化为多元多次方程组求解的问题。利用吴方法,通过多元多次方程组的特征列,完成命题推理的证明,即结合数理逻辑中推理证明及吴方法的核心内容特征列知识,总结出一种通过对吴方法中特征列讨论,来证明逻辑推理的方法。To prove the propositional reasoning is converted to solve multivariate polynomial equa- tions. Through the characteristic set of multivariate polynomial equations, the proof of propositional rea- soning is completed by using Wu Methods, i. e. , an approach to prove logical reasoning is proposed by combining the mathematical logic reasoning and the characteristic set in Wu Methods.

关 键 词：关键词 命题公式 多项式列 多项式特征列 吴方法 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]