第5章 推理与证明技术..pptVIP

第5章 推理与证明技术 5.2 命题逻辑的推理理论 5.2.1 推理的基本概念和推理形式 定义5.2.0 设G,H是公式，对任意解释I，如果I满足G，那么I满足H，则称H是G的逻辑结果(或称G蕴涵H),记为G?Ｈ，此时称G为前提，H为结论。 判定定理 定理5.2.0 设G,H是公式，H是G的逻辑结果当且仅当G→Ｈ为永真公式。 推广 定义5.2.1 设G1,G2,…,Gn,H是公式，称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。 判定定理 定理5.2.1 公式H是前提集合Г={G1,G2,…,Gn}的逻辑结果当且仅当G1∧G2∧…∧Gn→Ｈ为永真公式。 5.2.2 判断有效结论的常用方法 1、真值表技术 设P1,P2,…,Pn是出现在前提G1,G2,…,Gn和结论H中的一切命题变元，如果将P1,P2,…,Pn中所有可能的解释及G1,G2