5、间接证法1)CP规则.PDFVIP

5、间接证法 1） CP 规则： 有时要证的结论以蕴含的形式出现。要证A1∧A2∧…∧AmBC。 如果把结论中的前件B 作为附加条件加入前提集合中，即证出了 A1A2…AmBC，则原来要证的结论成立。称之为附加前提证明法。 简称CP 规则。 证明：A1A2 …AmBC A1A2 …AmBC 证明：A1A2 …AmBC A1A2 …Am (BC) ( A1A2…Am) (BC) ( ( A1A2 …Am) B)C ( A1A2…Am B)C ( A1A2 …Am B) C CP 规则成立。 例6：试证(P→(Q→S))∧(R∨P)∧QR→S 前提公式集合P→(Q→S), R∨P, Q, 结论R→S 将结论RS 中的前项R 引入前提集合，而去演绎出S。 证明：(1)R∨P 规则P (2)R 规则P (附加前提) (3)P 规则T 由(1) (2) (析取三段论) (4) P→(Q→S) 规则P (5)Q→S 规则T 由(3) (4) (假言推理) (6)Q 规则P (7)S 规则T 由(5) (6) (假言推理) (8) R→S 规则CP 例：证明{A∨B，B∨C，C→D}逻辑的推出A→D 证法1：用CP 规则 (1)A∨B 规则P (2)A 规则P (附加前提) (3)B 规则T 由(1) (2) (析取三段论) (4) B∨C 规则P (5)C 规则T 由(3) (4) (析取三段论) (6) C→D 规则P (7)D 规则T 由(5) (6) (假言推理) (8) A→D 规则CP 证法2：不用CP 规则 (1)A∨B 规则P (2)A→B 规则T 由(1) (蕴含律) (3) B∨C 规则P (5)A→C 规则T 由(2) (4) (假言三段论) (4)B→C 规则T 由(3) (蕴含律) (6)C→D 规则P (7)A→D 规则T 由(5) (6) (假言三段论) 2)归谬法 设A1，A2，…，Am 是命题公式， 如果A1∧A2…Am 是可满足的，称A1，A2，…，Am 是相容的。 如果A1A2…Am 是矛盾式，称A1，A2，…，Am 是不相容的。 理论根据 A1A2…AmC A1A2…Am C A1A2 …AmC) 则A1A2…AmC，即A1A2 …AmC 为重言式，A1A2…AmC 是矛盾式。 从而得到如A1，A2，…，Am，C 不相容，则C 是A1，A2，…，Am 的有 结论。 因此我们可以把C 作为附加前提推出矛盾来，从而可以得到C 是A1，A2，…，Am 的有 结 论。这种方法称为归谬法，也就是我们通常说的反证法。 例7：是证明(RQ) (RS) (SQ) (PQ)P 证明：(1) PQ 规则P (2)P 规则P (附加前提) (3)Q 规则T 由(1) (2) (假言推理) (4) RQ 规则P (5)R 规则T 由(3) (4) (拒取式) (6) SQ 规则P (7)S 规则T 由(3) (6) (拒取式) (8) RS 规则T 由(4) (7) (合取引入) (9)RS规则T 由(8) (德.摩根律) (10) RS 规则P (11) RSRS规则T 由(9) (10) (合取引入) (12) RSRS是矛盾式，所以P 为前提公式的有 结论 1.7 自我练习 1 ： 求 命 题 公 式 (P (PQ))R 的 真 值 表 P Q R PfiQ P (PfiQ) (P (PfiQ))fiR 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 1 1 0 1 0 0 1 1 1 0 1 1 0 1 1 1 1 1 1 自我练习2： 求(PQR) (PQR)的主析取范式。 解：原公式 (P (QR)) (