第二章命题逻辑.pptVIP

* * 模态命题 模态命题是包含了“必然”、“应当”等模态词的命题，例如: （1）长期不懈的努力必然有收获。 （2）任何公民都应当遵纪守法。。 （3）如果所有人不种田，那么所有人会饿死，这是可能的。 * * 真值表的作用 真值表在命题逻辑中是一种重要的工具， 它的作用有： 一、定义作用： (1)定义逻辑连接项的性质，如:?、∧、∨、　、→、?。 (2)定义命题的类型，如:重言式（永真式）、矛盾式（永假式）、协调式（有真有假）。 * * 真值表的作用 二、判定作用： (1)判定命题间的关系，如： p→q与?(p∧?q) ?p∨q与p→q p→q与p∧?q (2)判定推理是否有效，如： (p→q)∧p→q (p→q)∧q→p * * 真值表的作用 三、总结正确推理形式及其规则： 如通过真值表可总结(p→q)∧p→q，即 当p→q真并且p真时，q必定为真。 又如对于(p→q)∧?q→p，即 当p→q真并且q假时，p必假。 * * NP系统中的语法(语形)推出关系 T18(a) ?(A∧B)├┤?A∨? B(记为DeM.) T18(b) ?(A∨B)├┤?A∧? B(记为DeM.) T19(a) ?(A∨B)├ ?A T19(b) ?(A∨B)├ ?B T20(a) ?A├ ?(A∧B) T20(b) ?B├ ?(A∧B) * * NP系统中的语法(语形)推出关系 T18(a) ?(A∧B)├┤ ? A∨ ? B的证明 先证?(A∧B)├ ?A∨?B: (1) ?(A∧B) A (2) ?(?A∨?B) H1(?_的假设) (3) ?A H2(?_的假设)  (4) ?A∨?B (3)，∨+ (5)(?A∨?B)∧?(?A∨?B) (2),(4),∧+ (6) A (3)—(5),?_(消去H2) (7) ?B H3(?_的假设) (8)?A∨?B (7)，∨+ (9)(?A∨?B)∧?(?A∨?B) (2)，(8)，∧+ (10) B (7)—(9)，?_(消去H3) (11)A∧B (6)，(10), ∧+ (12)(A∧B)∧?(A∧B) (1)，(11), ∧+ (13) ?A∨?B (2)—(12)，?_(消去H1) * * NP系统中的语法(语形)推出关系 T18(a) ?(A∧B)├┤ ? A∨ ? B的证明 再证?A∨?B├ ?(A∧B)：  (1) ?A∨?B A (2) ??(A∧B) H(?_的假设) (3) A∧B (2)，??_ (4) A (3)，∧_ (5) B (3)，∧_ (6) ??A (4)，??+ (7) ?B (1),(6),∨_ (8)B∧?B (5),(7),∧+ (9)?(A∧B) (2)—(8),?_(消去H) * * NP系统中的语法(语形)推出关系 交换律 T21(a) A∧B├┤B∧A T21(b) A∨B├┤B∨A 结合律 T22(a) A∨(B∨C)├┤(A∨B)∨C T22(b) A∧(B∧C)├┤(A∧B)∧C 分配律 T23(a) A∧(B∨C)├┤(A∧B)∨(A∧C) T23(b) A∨(B∧C)├┤(A∨B)∧(A∨C) * * NP系统中的语法(语形)推出关系 T21(b) A∨B├┤B∨A的证明 先证A∨B├ B∨A (1) A∨B A (2) A H1(→+的假设) (3) B∨A (2)，∨+  (4) A→B∨A (2)—(3)，→+（消去H1） (5) B H2(→+的假设) (6) B∨A (5)，∨+ (7) B→B∨A (5)—(6)，→+（消去H2） (8) B∨A (1)，(4)，(7)，D