第三章节：命题逻辑的推理理论幻灯片.pptVIP

* * * 3.2 自然推理系统P 形式推演(语法蕴涵)：给定A1,…,Ak和B 符号：{A1,…,Ak} ? B 存在公式序列C1, C2,…,Cn，对每个i(i=1,…,n), Ci是某个Aj或者 Ci是由序列中前面的公式应用推理规则得到 Cn=B 称C1,…,Cn是由A1,…,Ak推B的证明 3.2 自然推理系统P 例：考虑下述论证 如果这里有球赛，则通行是困难的 如果他们按时到达，则通行是不困难的 他们按时到达了 问：得到什么结论？ 3.2 自然推理系统P 例：考虑下述论证 如果这里有球赛，则通行是困难的 如果他们按时到达，则通行是不困难的 他们按时到达了 问：得到什么结论？ 设 p:这里有球赛 q:通行是困难的 r:他们按时到达 p ? q r ? ?q r ? ?p 3.2 自然推理系统P 证明 前提： p ? q， r ? ?q，r 结论： ?p 解： r r ? ?q ?q p ? q ?p 前提引入 前提引入 假言推理 前提引入 拒取式 3.2 自然推理系统P 证明 c ? d, c ? r, d ? s ? r ? s 解： c ? d ?c ? d d ? s ?c ? s c ? r ?r ? ?c ?r ? s r ? s 前提引入 前提引入 假言三段论 前提引入 置换规则 置换规则 假言三段论 置换规则 3.2 自然推理系统P 构造证明的方法 附加前提证明法 归谬法 3.2 自然推理系统P 附加前提证明法 对形如 (A1?…?Ak) ? (A ? B)的证明 转化为： A1, …, Ak, A ? B 3.2 自然推理系统P 证明 ((p?(q ?s))?(?r?p)?q) ? (r ? s) 3.2 自然推理系统P 证明 ((p?(q ?s))?(?r?p)?q) ? (r ? s) 解： r ?r?p r ? p p p?(q ?s) q ?s q s 前提引入 前提引入 假言推理 前提引入 置换规则 假言推理 假言推理 前提引入 3.2 自然推理系统P 归谬法 对形如 (A1?…?Ak) ? B的证明 转化为： A1 ?…? Ak ??B为矛盾式 3.2 自然推理系统P 证明 ((r??q)?(r∨s)?(s??q)?(p?q)) ? ?p 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 第三章 习题课 主要内容 推理的形式结构 判断推理是否正确的方法 真值表法 等值演算法 主析取范式法 推理定律 自然推理系统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