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

第5章 推理与证明技术 5.1 本章学习要求 5.2 命题逻辑的推理理论 推理的有效性和结论的真实性 有效的推理不一定产生真实的结论； 而产生真实结论的推理过程未必是有效的。 有效的推理中可能包含为“假”的前提， 而无效的推理却可能得到为“真”的结论 。 推理的有效性和结论的真实性 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。 判定定理 定理5.2.1 公式H是前提集合Г={G1, G2, …, Gn}的逻辑结果当且仅当G1∧G2∧…∧Gn→Ｈ为永真公式。 判定定理（续） “?”与“→”的不同 1.“→”仅是一般的蕴涵联结词，G→H的结果仍是一个公式， 而“?”却描述了两个公式G，H之间的