重言式和矛盾式的代数化证明  

Algebraic Proving of Tautology and Contradiction Formula

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

机构地区：[1]哈尔滨学院数学与计算机学院,哈尔滨150086 [2]吉林大学数学学院,长春130012

出　　处：《计算机与数字工程》2009年第8期17-21,共5页Computer & Digital Engineering

基　　金：哈尔滨学院学科发展基金(编号:HXK200717)资助;黑龙江省新世纪高等教育教学改革工程项目资助

摘　　要：在对命题逻辑代数化表示的基础上,通过解多项式方程组,对命题公式进行等价转换、演绎推理。用有理数域上的多项式组替代命题公式,利用纯代数的方法给出命题公式的重言式和矛盾式的证明。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.

关 键 词：多项式 命题公式 重言式 矛盾式 

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