逻辑推理理论是计算机应用人才必备的重要基础理论之一.在自然推理系统P中,推理依据一般建立在包括P∧Q(→)P规则在内的多条公理式规则基础上.推理规则是不可逆行的单向过程,而在自然推理系统进行中,信息量只能减少,不可能增加.P∧Q(→)P恰好表现了信息量减少这一特征.因此,一切推理规则均以P∧Q(→)P为基础.
[1] 刘保翠, 王国俊, LIU Bao-cui, WANG Guo-jun. 二值命题逻辑中的三种Γ近似推理模式及其等价性 [J]. 模糊系统与数学 2008.
[2] 夏世芬, 毛大会, 徐扬, XIA Shi-fen, MAO Da-hui, XU Yang. 一种算子模糊逻辑系统及其Petri网推理算法 [J]. 模糊系统与数学 2008.
[3] ESTEVA F, GODO L. Monoidal t-norm based logic:tiwards a logic for left-continuous t-norms [J]. Fuzzy Sets and Systems 2001, 124.
[4] 章衡, 张明义, 杨本娟. 中间逻辑中的良构范式 [J]. 2008.
[5] 耿素云, 屈婉玲. 离散数学 [M]. 北京:高等教育出版社 2004.
[6] 王捍贫. 数理逻辑离散数学 [M]. 北京:北京大学出版社 1997.
[7] 王世强, 孟晓青. 数理逻辑与范畴论应用 [M]. 北京:北京师范大学出版社 1999.
