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

摘要：

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

关键词： 多项式方程组 命题公式 逻辑代数化 等价转换

作者: 王礼萍 张树功

作者单位: 哈尔滨学院数学与计算机学院,哈尔滨,150086 吉林大学数学学院,长春,130012

会议类型: 国内会议

会议名称: 2009年全国理论计算机科学学术年会

会议地点: 哈尔滨

会议语种:中文

页码: 17-21

在线出版日期: 2009-08-07（万方平台首次上网日期，不代表论文的发表时间）