3.1推理形式结构 豪 口普罗泰戈拉收了一名学生叫欧提勒士。普氏与他签订了这样一份合同:前者向后 者传授辩论技巧,教他帮人打官司;后者入学时交一半学费,另一半学费则在他 毕业后帮人打官司赢了之后再交。时光荏苒,欧氏从普氏那里毕业了。但他总不 帮人打官司,普氏于是就总得不到那另一半学费。 普氏为了要那另一半学费,他去与欧氏打官司,并打着这样的如意算盘: 如果欧氏打赢了这场官司,按照合同的规定,他应该给我另一半学费。 如果欧氏打输了这场官司,按照法庭的裁决,他应该给我另一半学费。 欧氏或者打赢这场宫司,或者打输这场宫司。 总之,他应该付给我另一半学费。 但欧氏却对普氏说 如果这场宫司我打赢了,按照法庭的裁决,我不应该给您另一半学费。 如果这场宫司我打输了,按照合同的规定,我不应该给您另一半学费。 我或者打赢这场宫司,或者打输这场宫司。 总之,我不应该付另一半学费 究竟谁的说法对呢? 16
16 3.1 推理形式结构 ❑ 普罗泰戈拉收了一名学生叫欧提勒士。普氏与他签订了这样一份合同：前者向后 者传授辩论技巧，教他帮人打官司；后者入学时交一半学费，另一半学费则在他 毕业后帮人打官司赢了之后再交。时光荏苒，欧氏从普氏那里毕业了。但他总不 帮人打官司，普氏于是就总得不到那另一半学费。 普氏为了要那另一半学费，他去与欧氏打官司，并打着这样的如意算盘： 如果欧氏打赢了这场官司，按照合同的规定，他应该给我另一半学费。 如果欧氏打输了这场官司，按照法庭的裁决，他应该给我另一半学费。 欧氏或者打赢这场官司，或者打输这场官司。 总之，他应该付给我另一半学费。 但欧氏却对普氏说： 如果这场官司我打赢了，按照法庭的裁决，我不应该给您另一半学费。 如果这场官司我打输了，按照合同的规定，我不应该给您另一半学费。 我或者打赢这场官司，或者打输这场官司。 总之，我不应该付另一半学费 究竟谁的说法对呢？
3.1推理形式结构 豪 口推理定律 A→(AB) 附加律 (AAB)→A 化简律 (A→B)∧A→B 假言推理 (A→B)∧-B→-A 拒取式 (AvB)∧-B→A 析取三段论 (A→B)∧(B→C→A→C) 假言三段论 (AB)∧(B4C)→(AC) 等价三段论 (A→B)A(C→D)∧(Av0→(ByD 构造性二难 (A→BA(A→B)→B 构造性二难(特殊形式) (A→BA(C→D)A(=Bv-D)→(-Ay-C破坏性二难 17
17 ❑推理定律 A (A B) (A B) A (A → B) A B (A → B) B A (A B) B A (A → B) (B → C) (A → C) (A B) (B C) (A C) (A → B) (C → D) (A C) (B D) (A → B) ( A → B) B (A → B) (C → D) ( B D) ( A C) 附加律 破坏性二难 构造性二难（特殊形式） 构造性二难 等价三段论 假言三段论 析取三段论 拒取式 假言推理 化简律 3.1 推理形式结构
3.1推理形式结构 豪 证明:(A→B)∧(B→C)→(A→C) ((A→B)∧(B→C)→)(A→C 台(_AvB)∧(ByC)→(A>c 台-(MAvB)∧(BC)v(A→C →(A∧_B)(B∧-C))V(A→c 台((A∧-B)(B∧-C)V(Avc 台((A∧-B)V_A)v((B∧-C)vc 台(B-A)(Bvc 18
18 证明：(A → B) (B → C) (A → C) ((A → B) (B → C)) → (A → C) ((A B) (B C)) → (A → C) ((A B) (B C)) (A → C) ((A B) (B C)) (A → C) ((A B) (B C)) (A C) ((A B) A ) ((B C) C) (B A ) (B C) 1 3.1 推理形式结构