自然推理系统P中的P∧Q(→)P

• 作者: 孟令江
• 来源期刊: 河北大学学报（自然科学版）
• 学科: 数学
• 关键词: 蕴含 推理系统 三段论 P∧Q(→)P规则
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 数学与力学
• 页码范围: 238-240
• 页数: 3页
• 分类号: O141
• 字数: 907字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1565.2009.03.005

摘要

逻辑推理理论是计算机应用人才必备的重要基础理论之一.在自然推理系统P中,推理依据一般建立在包括P∧Q(→)P规则在内的多条公理式规则基础上.推理规则是不可逆行的单向过程,而在自然推理系统进行中,信息量只能减少,不可能增加.P∧Q(→)P恰好表现了信息量减少这一特征.因此,一切推理规则均以P∧Q(→)P为基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孟令江	唐山师范学院数学与信息科学系	10	4	1.0	1.0