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

An algebraic approach to proposition calculus with Characteristic set

将命题推理证明转化为多元多次方程组求解的问题。利用吴方法,通过多元多次方程组的特征列,完成命题推理的证明,即结合数理逻辑中推理证明及吴方法的核心内容特征列知识,总结出一种通过对吴方法中特征列讨论,来证明逻辑推理的方法。

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.