逻辑学 逻辑学导论第2讲 命题逻辑(明水).ppt

NP 系统中的推出关系 * T24(a) A→B├┤?(A∧?B) T24(b) ?(Ａ→B)├┤A∧?B T25(a) A→B├┤?A∨B (蕴析律) T25(b) A∨B├┤?A→Ｂ T26(a) ?(A∧B)├┤A→?Ｂ T26(b) A∧Ｂ├┤?(A→?Ｂ) T27(a) A∧Ｂ├┤?(?A∨?Ｂ) T27(b) A∨Ｂ├┤?(?A∧?Ｂ) T28(b) A→B,A→C,?B∨?C├?A(二难推理) T28(c) A→C，B→D，A∨B├B∨D T28(d) A→C，B→D，?C∨?D├?A∨?B NP 系统中的推出关系 * T29(a) A∧B→C├┤A∧?C→?B(反三段论) T29(b) A∧B→C├┤B∧?C→?A T30 A∧B→C├ A→(B→C)(条件输出) T31 A→(B→C)├ A∧B→C(条件输入) T32 A→(B→C)├┤B→(A→C)(条件互易) T33 A→(B→C)├┤(A→B)→(A→C) T34 A→(A→B)├┤A→B (条件融合) T35(a) A→B├ A∧C→B∧C (前件附加) T35(b) A→B├ A∨C→B∨C T35(c) A→B├ (C→A)→(C→B) T36 （A→B）→C├ B→C NP 系统中的推出关系 * T37 A→B，B→A├ A?B (?+) T38(a) A?B├ A→B (?_) T38(b) A?B├ B→A T39 A→C,B→C├ A∧B→C (前件合取) T40 A→B,A→C├ A→B∧C (后件合取) T41 A∧B→C├┤(A→C)∨(B→C) T42 A∨B→C├┤(A→C)∧(B→C) T43 A→B∧C├┤(A→B)∧(A→C) T44 A→B∨C├┤(A→B)∨(A→C) …… 应用实例 * 应用实例一 如果不换8号上场（p），或者换12号上场(q)，甲队的形势不会好转(r)。教练没有换8号上场，也没有换12号上场。所以，甲队的形势不会好转。 首先，将前提和结论形式化： A1：?(p∨q)→?r A2：?p∧?q B：?r (1) ?(p∨q)→?r A1 (2) ?p∧?q A2 (3) ?(p∨q) (2)，DeM. (4) ?r (1)，(3)，→_ 应用实例 * 应用实例二 如果线段L有无穷多个点(p)，那么， 如果这些点有长度(q)，则线段L将无穷长(r)，而且， 如果这些点都没有长度(? q),则线段L也不会有长度(s)。 但是，一条线段既不会无穷长,也不会没有长度。所以L上不会有无穷多个点。 前题和结论符号化： A1：p→(q→r)∧(?q→s) A2：?r∧?s B：?p 应用实例 * (1) p→(q→r)∧(?q→s) A1 (2) ?r∧?s A2 (3) ??p H（?_的假设) (4) p (3), ??_ (5) (q→r)∧(?q→s) (1)，(4)，→_ (6) q→r (5),∧_ (7) ?q→s (5),∧_ (8) ?r (2),∧_ (9) ?s (2),∧_ (10) ?q (6),(8), M.T. (11) ??q (7),(9), M.T. (12) ?q∧??q (10),(11),∧+ (13) ?p (3)—(12)，?_,(消去H) A1：p→(q→r)∧(?q→s) A2：?r∧?s B：?p 应用实例 * 应用实例三 如果货币供应量保持现状(p)，而货币需求量增加(q)，则银行利率就会上升(r)。如果货币需求量增加(q)导致银行利率上升(r)，则在银行存款更被看好(s)。主管部门已宣布货币供应总是保持不变。因此，在银行存款更被看好(s)。 A1：p∧q→r A2：(q→r)→s A3： p B： s 应用实例 * 应用实例三 方法一： （1） p∧q→r A1 （2）