3 推理规则.PPT

3.2 自然推理系统P 证明 ((p?(q ?s))?(?r?p)?q) ? (r ? s) 解： r ?r?p r ? p p p?(q ?s) q ?s q s 前提引入 前提引入 假言推理 前提引入 置换规则 假言推理 假言推理 前提引入 练习P53, 14(6) P54 15 (2) 3.2 自然推理系统P 归谬法 对形如 (A1?…?Ak) ? B的证明 转化为： A1 ?…? Ak ??B为矛盾式 3.2 自然推理系统P 证明 ((r??q)?(r∨s)?(s??q)?(p?q)) ? ?p 解： p p ? q q s? ?q q ? ?s ?s r∨s r r??q ?q P54 16(2) 第三章 习题课 主要内容 推理的形式结构 判断推理是否正确的方法 真值表法 等值演算法 主析取范式法 推理定律 自然推理系统P 构造推理证明的方法 直接证明法 附加前提证明法 归谬法(反证法) 基本要求 理解并记住推理形式结构的两种形式： 1. (A1?A2?…?Ak)?B 2. 前提：A1, A2, … , Ak 结论：B 熟练掌握判断推理是否正确的不同方法（如真值表法、等值演算法、主析取范式法等） 牢记 P 系统中各条推理规则 熟练掌握构造证明的直接证明法、附加前提证明法和归谬 法 会解决实际中的简单推理问题 练习1：判断推理是否正确 1. 判断下面推理是否正确: (1) 前提：?p?q, ?q 结论：?p 解 推理的形式结构: (?p?q)??q??p 方法一：等值演算法 (?p?q)??q??p ? ?((p?q)??q)??p ? (?p??q)?q??p ? ((?p?q)?(?q?q))??p ? ?p?q 易知10是成假赋值，不是重言式，所以推理不正确. 练习1解答 方法二：主析取范式法， (?p?q)??q??p ??((p?q)??q)??p ??p?q ?M2 ?m0?m1?m3 未含m2, 不是重言式, 推理不正确. 练习1解答 方法三 真值表法 不是重言式, 推理不正确 1 1 1 0 0 1 1 1 0 1 0 0 (?p?q)??q??p q p ?p?q 0 1 1 1 (?p?q)??q 0 0 1 0 方法四 直接观察出10是成假赋值 练习1解答 用等值演算法 (q?r)?(p??r)?(q??p) ?(?q?r)?(?p??r)?(?q??p) ??((q??r)?(p?r))?(?q??p) ??((q?p)?(q?r)?(?r?p))?(?q??p) ? ((q?p)?(q?r)?(?r?p))?(?q??p) ?1 推理正确 (2) 前提：q?r, p??r 结论：q??p 解 推理的形式结构： (q?r)?(p??r)?(q??p) 练习2：构造证明 2. 在系统P中构造下面推理的证明： 如果今天是周六，我们就到颐和园或圆明园玩. 如果颐和 园游人太多，就不去颐和园. 今天是周六，并且颐和园游 人太多. 所以, 我们去圆明园或动物园玩. 证明： (1) 设 p：今天是周六，q：到颐和园玩， r：到圆明园玩，s：颐和园游人太多 t：到动物园玩 (2) 前提：p?(q?r), s??q, p, s 结论：r?t 练习2解答 (3) 证明： ① p?(q?r) 前提引入 ② p 前提引入 ③ q?r ①②假言推理 ④ s??q 前提引入 ⑤ s 前提引入 ⑥ ?q ④⑤假言推理 ⑦ r ③⑥析取三段论 ⑧ r?t