第五章推理与证明技术讲述.pptx

离 散 数 学 2017年4月6日星期四 2017-4-6 第5章 推理与证明技术 2017-4-6 5.1 本章学习要求 2017-4-6 5.2 命题逻辑的推理理论 命题演算的一个主要任务在于提供一种正确的思维规律，即推理规则，应用此规则从一些前提中推导出一个结论来，这种推导过程称为演绎或形式证明。 2017-4-6 推理的有效性和结论的真实性 有效的推理不一定产生真实的结论； 而产生真实结论的推理过程未必是有效的。 有效的推理中可能包含为“假”的前提， 而无效的推理却可能得到为“真”的结论 。 2017-4-6 推理的有效性和结论的真实性 所谓推理有效， 指的是它的结论是它前提的合乎逻辑的结果。 即，如果它的前提都为真，那么所得的结论也必然为真，而并不是要求前提或结论一定为真或为假； 如果推理是有效的话，那么不可能它的前提都为真时，而它的结论为假。 2017-4-6 5.2.1 推理的基本概念和推理形式 定义5.2.1 设G1, G2, …,Gn,Ｈ是公式，称H是G1, G2, …,Gn的逻辑结果(G1, G2, …,Gn共同蕴涵H)，当且仅当H 是G1∧G2∧…∧Gn的逻辑结果(logic conclusion)。记为G1, G2, …,Gn ?Ｈ，此时称G1, G2, …,Gn ?Ｈ为有效的(efficacious)，否则称为无效的（inefficacious）。G1, G2, …,Gn称为一组前提(Premise)，有时用集合Г来表示，记Г = {G1, G2, …,Gn}。H称为结论(conclusion)。又称H是前提集合的逻辑结果。记为Г ? H。 2017-4-6 判定定理 定理5.2.1 公式H是前提集合Г={G1, G2, …, Gn}的逻辑结果当且仅当G1∧G2∧…∧Gn→Ｈ为永真公式。 证明：“?”若G1, G2, …,Gn ?Ｈ，但G1∧G2∧…∧Gn→H不是永真式。于是，必存在G1, G2, …,Gn，H的一个解释I，使得G1∧G2∧…∧Gn为真，而H为假，因此对于该解释I，有G1, G2, …,Gn都为真，而H为假，这就与推理形式G1, G2, …,Gn ?Ｈ是有效的相矛盾，故：G1∧G2∧…∧Gn→H是永真公式。 2017-4-6 判定定理（续） “?”若G1∧G2∧…∧Gn→H是永真式，但G1, G2, …,Gn ?Ｈ不是有效的推理形式，故存在G1, G2, …,Gn, H的一个解释I，使得G1, G2, …,Gn都为真，而H为假，故G1∧G2∧…∧Gn为真，而H为假，即是说G1∧G2∧…∧Gn →H为假，这就与G1∧G2∧…∧Gn→H是永真式相矛盾，所以G1, G2, …,Gn ?Ｈ是有效的推理形式。 2017-4-6 “?”与“→”的不同 1.“→”仅是一般的蕴涵联结词，G→H的结果仍是一个公式，而“?”却描述了两个公式G，H之间的一种逻辑蕴涵关系，G ? H的“结果”，是非命题公式； 2. 用计算机来判断G ? H是办不到的。然而计算机却可“计算”公式G→H是否为永真公式。 2017-4-6 5.2.2 判断有效结论的常用方法 2017-4-6 1、真值表技术 设P1,P2,…,Pn是出现在前提G1,G2,…,Gn和结论H中的一切命题变元，如果将P1,P2,…,Pn中所有可能的解释及G1,G2,…,Gn，H的对应真值结果都列在一个表中，根据“→”的定义，则有判断方法如下： 对所有G1,G2,…,Gn都具有真值T的行(表示前提为真的行)，如果在每一个这样的行中，H也具有真值T，则H是G1,G2,…,Gn的逻辑结果。 对所有H具有真值为F的行(表示结论为假的行),如果在每一个这样的行中，G1,G2,…,Gn中至少有一个公式的真值为F(前提也为假)，则H是G1,G2,…,Gn的逻辑结果. 2017-4-6 例5.2.1 判断下列H是否是前提G1,G2的逻辑结果 (1)　H：Q； G1：P；G2：P→Q；　 (2)　H：┐P； G1：P→Q；G2：┐Q； (3)　H：Q； G1：┐P；G2：P→Q。 解 P Q G1 G2 H 0 0 0 1 0 0 1 0 1 1 1 0 1 0 0 1 1 1 1 1 (1) P Q G1 G2 H 0 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 0 (2) P Q G1 G2 H 0 0 1 1 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 (3) 2017-4-6 2 推理定律 设G，H，I，J是任意的命题公式，则有： I1：G∧H?G　　　　　　(简化规则) I2：G∧H?H I3：G?G∨H