命题逻辑推理的代数化证明

• 作者: 张树功 王礼萍
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 真值函数 赋值 多项式 命题公式
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 离散数学理论与应用
• 页码范围: 78-81,84
• 页数: 5页
• 分类号: TP301
• 字数: 5889字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.10.027

摘要

本文尝试利用纯代数的方式,通过解多项式方程组对命题逻辑进行演算、推理.

作者信息

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