摘要
在对命题逻辑代数化表示的基础上,通过解多项式方程组,对命题公式进行等价转换、演绎推理。用有理数域上的多项式组替代命题公式,利用纯代数的方法给出命题公式的重言式和矛盾式的证明。
This research paper of proposition logic algebra in the said, on the basis of the solution of equations by polynomial, propositional formula for equivalent conversion and deductive reasoning. Proposition formula is replaced by he rational polynomial group. In this research paper, we try to use the simple algebraic way to perform logic operations and deductions through solving the polynomial equations.
出处
《计算机与数字工程》
2009年第8期17-21,共5页
Computer & Digital Engineering
基金
哈尔滨学院学科发展基金(编号:HXK200717)资助
黑龙江省新世纪高等教育教学改革工程项目资助
关键词
多项式
命题公式
重言式
矛盾式
polynomial, proposition, tautology, proposition formula
