命题逻辑推理问题的代数化求解

• 作者: 丁汀 黄伟亮 黄勇
• 来源期刊: 河南科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 命题逻辑 推理 逻辑联接词
• 年，卷（期）: 2010,（6）
• 页码范围: 86-89
• 分类号: TP301
• 字数: 2881字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-6871.2010.06.022

摘要

数理逻辑对命题逻辑推理问题的处理采用的是公理化的形式演绎推理体系,该方法虽严密、可靠,但它对人的知识水平以及形式化、抽象化能力要求较高.因此,本文用初等代数方式把命题逻辑的演绎推理转化为方程组的计算求解,通过求解方程实现命题逻辑的演绎推理.首先用方程组表示命题逻辑推理中的前提,然后利用数学软件求解,最后把结果转化为要推导的结论,进而实现了命题逻辑推理的代数化求解.实例表明:在计算机技术的支持下,该方法是可靠、有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄勇	广州大学计算机科学与教育软件学院	31	42	4.0	5.0
2	丁汀	河南机电职业学院信息工程系	10	15	2.0	3.0
3	黄伟亮	河南机电职业学院信息工程系	8	4	2.0	2.0