摘要
将命题推理证明转化为多元多次方程组求解的问题。利用吴方法,通过多元多次方程组的特征列,完成命题推理的证明,即结合数理逻辑中推理证明及吴方法的核心内容特征列知识,总结出一种通过对吴方法中特征列讨论,来证明逻辑推理的方法。
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.
出处
《黑龙江大学自然科学学报》
CAS
北大核心
2014年第1期61-64,共4页
Journal of Natural Science of Heilongjiang University
基金
黑龙江省教育厅科学技术研究项目(11553065)
黑龙江高等学校教改工程项目(JG2012010514)
