(8)--1.14 构造证明法的间接法.pptVIP

构造证明法的间接法

上一节介绍了从已知前提按照公认的推理规则推出结论B的构造证明法，是直接由前提推出结论。这一节介绍两种间接证明法：附加前提法和归谬法。

当要证明的结论是一蕴涵式时，将结论中的前件变成附加前提，再进行证明的方法称为附加前提证明法。由于(A1?A2?…?An)?(A?C)?(A1?A2?…?An?A)?C那么，要证明：(A1?A2?…?An)?(A?C)，相当于证明：(A1?A2?…?An?A)?C即原推理证明，相当于将结论的前件作为附加前提，和其他前提推出C。1、附加前提法

例1：在自然推理系统中构造下列推理的证明前提：p?(q?r),?s?p,q结论：s?r证明：①s②?s?p③p④p?(q?r)前提引入附加前提引入⑤q?r⑥q⑦r③④假言推理⑤⑥假言推理