摘要： 逻辑推理理论是计算机应用人才必备的重要基础理论之一.在自然推理系统P中,推理依据一般建立在包括P∧Q(→)P规则在内的多条公理式规则基础上.推理规则是不可逆行的单向过程,而在自然推理系统进行中,信息量只能减少,不可能增加.P∧Q(→)P恰好表现了信息量减少这一特征.因此,一切推理规则均以P∧Q(→)P为基础.
中图分类号:
孟令江. 自然推理系统P中的P∧Q(→)P[J]. 河北大学学报(自然科学版), 2009, 29(3): 238-240.
MENG Ling-jiang. P∧Q(→)P in Natural Deduction System P[J]. Journal of Hebei University (Natural Science Edition), 2009, 29(3): 238-240.
