第五讲 糜朦题逻辑(上) .pptVIP

7 假言三段论（HS） p→q q→r ∴ p→r 8 二难推理（CD） (p→q)∧(r→s) p∨r ∴ q ∨ s 如何运用规则建立形式证明？ （1）如果商品短缺日益严重，那么物价会上涨。 （2）如果存在生产过剩，那么物价不会上涨。 （3）如果存在通货膨胀威胁，那么财政控制将继续。 （4）如果政府改组，那么财政控制将取消。 （5）或者存在生产过剩，或者政府改组。 因此，商品短缺不会日益严重，或者不再存在通货膨胀威胁。 ① A → B P ② C → ?B P ③ D → E P ④ F → ? E P ⑤ C ∨ F P /∴?A∨?D ⑥（C →?B）∧（F → ? E） ②④∧+ ⑦ ?B ∨? E ⑥⑤CD ⑧（A → B）∧（D → E） ① ③ ∧+ ⑨ ?A∨?D ⑦⑧CD 首先将该推理形式化，在此基础上建立该推理有效性的形式证明。 ① A → B P ② C → ?B