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

• 作者: 张树功 王礼萍
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 多项式 命题公式 重言式 矛盾式
• 年，卷（期）: 2009,（8）
• 所属期刊栏目: 算法与分析
• 页码范围: 17-21
• 页数: 5页
• 分类号: TP301.6
• 字数: 4402字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2009.08.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张树功	吉林大学数学学院	38	103	6.0	7.0
2	王礼萍	哈尔滨学院数学与计算机学院	20	23	2.0	4.0