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

摘要：

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

关键词：蕴含、推理系统、三段论、P∧Q(→)P规则

所属期刊栏目：29

分类号：O141(数理逻辑、数学基础)

资助基金：河北省自然科学基金

在线出版日期：2009-07-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：238-240