重言式和矛盾式的代数化证明
王礼萍1
张树功2
1.哈尔滨学院数学与计算机学院,哈尔滨,1500862.吉林大学数学学院,长春,130012
摘要：在对命题逻辑代数化表示的基础上,通过解多项式方程组,对命题公式进行等价转换、演绎推理.用有理数域上的多项式组替代命题公式,利用纯代数的方法给出命题公式的重言式和矛盾式的证明.
关键词：多项式命题公式重言式矛盾式
分类号：TP301.6(计算技术、计算机技术)
资助基金：哈尔滨学院学科发展研究基金(HXK200717)
论文发表日期：2009-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 17-21 )
英文信息