1.6 推理理论的.pdf

Discrete Math. 离 散 数 学 第一章 命题逻辑 ÿ1.1 命题符号化及联结词 ÿ1.2 命题公式及分类 ÿ1.3 等值演算 ÿ1.4 联结词全功能集 ÿ1.5 对偶与范式 ÿ1.6 推理理论 ÿ1.7 题例分析 1.6 推理理论 1. 推理的基本概念和推理形式 ÿ 推理: 从已知的命题公式应用推理规则推出新的命 题公式的思维过程. l 在数理逻辑中, 前提H(Hypothesis)是一个或n 个命题公式H , H , …, H , 结论C(Conclusion)是 1 2 n 一个命题公式. ÿ Def. 若(A ∧A ∧…∧A )Æ B是重言式, 则称A , 1 2 n 1 A ,…,A 推结论B的推理正确, B是A ,A ,…,A 的逻 2 n 1 2 n 辑结论或有效结论. l 用Afi B (A逻辑蕴涵B)表示AÆ B是重言式 l 记为(A ∧A ∧…∧A )fi B 1 2 n Æ vs fi ÿ 符号Æ和fi 的区别与联系(类似于´和¤ ) l (A´ B)¤ 1 iff A¤ B l (AÆ B)¤ 1 iff Afi B ÿ 区别： lÆ 是逻辑联结词, 属于目标语言中的符号, 是公 式中的符号; lfi不是联结词, 属于元语言中的符号, 表示两个 公式之间的关系, 不是两公式的符号. ÿ 联系： l (AÆ B)¤ 1 iff Afi B 逻辑蕴涵性质 ÿ 逻辑蕴涵有下列性质： ①. 自反性，Afi A． ②.传递性，若Afi B, BfiC, 则AfiC． ③.若Afi B, AfiC, 则Afi(B∧C)． ④.若AfiC, BfiC, 则A∨BfiC． ÿ Th. A¤ B iff Afi B且BfiA． ÿ 证. A´ B¤ (AÆ B)∧(BÆ A) l 必要性：若A¤ B，则A´ B是永真式，故AÆ B和BÆA 皆为真, 即Afi B, BfiA. l 充分性：若Afi B且BfiA，即AÆ B和BÆA为永真式， 故A´ B为永真，即A¤ B. 1.6 推理理论 ÿ 在逻辑学中，把从前提(公理或假设)出发，依据公认 的推理规则，推导出一个结论，这一过程称为有效推 理或形式证明，所得结论叫做有效结论。 ÿ 注：最关心的不是结论的真实性而是推理的有效性． l 有效的推理不一定产生真实的结论，产生真实结论的推 理过程未必是有效的。 l 有效的推理中可能包含假的前提；而无效的推理却可能 包含真的前提．推理的有效性是一回事，前提与结论的 真实与否是另一回事． l 所谓推理有效，指它的结论是它的前提的合乎逻辑的结 果，即如果它的前提都为真, 那么所得结论也必然为 真，而并不是要求前提或结论一定为真或为假．如果推 理是有效的话，那么不可能它的前提都为真时而它的结 论为假． 1.6 推理理论 ÿ 例. 判断下面推理是否正确 • 1). 如果天气凉快，小王就不去游泳；天气凉快，所 以小王没去游泳。 • 2). 如果我上街，我一定去新华书店；我没上街， 所以我没去新华书店。 ÿ 步骤： • 1). 命题符号化 • 2). 写出前提、结论