第一章命题逻辑(6).pptVIP

作业 习题10（2）（5）（8）（9） 习题11（2）（6） 1.6 命题逻辑推理理论 命题公式A1,A2,…,Ak推B的推理正确当且仅当 (A1∧A2 ∧…∧Ak)→B 为重言式。 1.6.1 有效推理的概念 定义1.21 设A1,A2,…,Ak和B都是命题公式，若对于A1,A2,…,Ak和B中出现的命题变元的任意一组赋值， 或者A1∧A2 ∧…∧Ak为假， 或者当A1∧A2 ∧…∧Ak为真时，B也为真， 则称由前提A1,A2,…,Ak推出B的推理是有效的或正确的，并称B是有效结论。 1.6.1 有效推理的概念 说明：1）由前提A1,A2,…,Ak推结论B的推理是否正确与诸前提的排列次序无关。因而前提的公式不一定是序列，而是一个有限的公式集合，若将这个集合记为Г(伽马)，可将由Г推B的推理记为Г├ B。若推理是正确的，则记为Г B，否则记为Г B。这里，可以称Г├ B和{A1,A2,…,Ak}├ B 为推理的形式结构。 2）设A1,A2,…,Ak，B中共出现n个命题变元，对于任何一组赋值α1α2…αn(αi =0或者1，i=1,2,…,n)，前提和结论的取值情况有以下四种： (1) A1∧A2 ∧…∧Ak为0，B为0. (2) A1∧A2 ∧…∧Ak为0，B为1. (3) A1∧A2 ∧…∧Ak为1，B为0. (4) A1∧A2 ∧…∧Ak为1，B为1. 3）由以上的讨论可知，推理正确，并不能保证结论B一定为真，这与数学中的推理是不同的。 这个与前面我们所介绍的哪个内容非常相关？——蕴涵联结词! 1.6.1 有效推理的概念 例1.42 判断下列推理是否正确： 1）{Q, Q ?P }├ P 2）{P, Q ?P }├ Q 解：根据有效推理定义，只要给出前提合取式与结论的真值表，判断是否出现前提合取式为真，结论为假的情况。 1）由以下真值表可知，没有出现前提合取式为真，结论为假的情况，因而1）中推理正确，即{Q, Q ?P } P。 2）由以下真值表可知，在赋值为10时，出现前提合取式为真，结论为假的情况，因而2）中推理不正确，即{P, Q ?P } Q。 P Q Q∧(Q ?P) P P∧(Q ?P) Q 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1.6.1 有效推理的概念 命题公式A1,A2,…,Ak推B的推理正确当且仅当 (A1∧A2 ∧…∧Ak)→B 为重言式； 推理的形式结构：{A1,A2,…,Ak}├ B是有效的当且仅当(A1∧A2 ∧…∧Ak)→B为重言式。(A1∧A2 ∧…∧Ak)→B也称为上述推理的形式结构。 推理正确{A1∧A2 ∧…∧Ak} B可记为A1∧A2 ∧…∧Ak?B。 通过前面的学习，已有三种判断推理有效性的方法：真值表法、逻辑等价演算法、主析（合）取范式法 1.6.2 命题演算推证 命题演算推证由三个要素组成：推理根据、推理规则和证明方法。 1）推理根据?：命题演算推证的命题定律和推理定律；即主要指已知的基本逻辑等价式和逻辑蕴涵式（见表1.17） ? 2）推理规则: （1） 前提引入规则（P规则）：在推证的任何步骤上都可以引入前提。 （2） 结论引入规则（T规则）：在推证的任何步骤上所得到的结论都可以作为后继证明的前提。 （3）附加前提规则（CP规则）：若从A和B能有效地推出C，则从A可有效地推出B ?C。（通常在结论为蕴涵式时使用） 1.6.2 命题演算推证 推证格式中包含：步骤号，给定前提或得出的结论，推理时所用规则和定律类型。 例1.43 构造下列推理的证明： 前提：(﹁P ? Q )，(P ?R )，(﹁Q∨S ) 结论:S∨R。 证：(1) ﹁P ?Q P (2) ﹁Q∨S P (3) Q ?S T (2) E (4) ﹁P ?S T (1)(3) I (5) ﹁S ?P T (4) E (6) P ?R P (7) ﹁S ?R T (5)(6) I (8) ﹁﹁S∨R T (7) E (9) S∨R T (8) E 证毕。 1.6.2