离散数学屈婉玲_耿素云_张立昂第3章_高教.ppt

* * * * * * * * * * * * * * * * * * * * 主要内容 推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 自然推理系统P 形式系统的定义与分类 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法 第三章 命题逻辑的推理理论 * 3.1 推理的形式结构 定义3.1 设A1, A2, …, Ak, B为命题公式. 若对于每组赋值， A1?A2?…? Ak 为假，或当A1?A2?…?Ak为真时，B也为真， 则称由前提A1, A2, …, Ak推出结论B的推理是有效的或正确 的, 并称B是有效结论. 定理3.1 由命题公式A1, A2, …, Ak 推B的推理正确当且仅当 A1?A2?…?Ak?B为重言式 注意： 只要不出现第3中情况，推理就是正确的。 通常情况：正确前提，正确结论才是正确的推理； 而在此处，前不正确，无论结果正确与否，都说推理正确。 因此: 推理正确不能保证结论一定正确。 A B A?B (1) 0 0 1 (2) 0 1 1 (3) 1 0 0 (4) 1 1 1 * 推理的形式结构 2. A1?A2?…?Ak?B 若推理正确, 记为A1 ? A2 ? … ? Ak ? B 3. 前提： A1, A2, … , Ak 结论： B 判断推理是否正确的方法: a. 真值表法 b. 等值演算法 c. 主析取范式法 d. 构造证明法 推理的形式结构 1. {A1, A2, …, Ak} B 若推理正确, 记为{A1,A2,?,An} B 用前3个方法时采用形式2结构 用构造证明时, 采用形式3结构 ├ 断定符（公式在L中可证）╞ 满足符（公式在E上有效,公式在E上可满足） * 推理实例 例1 判断下面推理是否正确 (1) 若今天是1号，则明天是5号. 今天是1号. 所以, 明天是5号. (2) 若今天是1号，则明天是5号. 明天是5号. 所以, 今天是1号. 解 设 p：今天是1号，q：明天是5号. (1) 推理的形式结构: (p?q)?p?q 用等值演算法 (p?q)?p?q ? ?((?p?q)?p)?q? (?(?p?q)?? p)?q ? ?p??q ?q ? ?(?p?q)?? p?q?? (?p?q)?(? p?q) ? 1 由定理3.1可知推理正确 * 推理实例 (2) 推理的形式结构: (p?q)?q?p 用主析取范式法 (p?q)?q?p ? (?p?q)?q?p ? ? ((?p?q)?q)?p??(p ? ?q) ?( ?q?p) ??(p ? ?q) ? (p ? ?q) ? ?q?p ? (?p??q)?(p??q)? (p??q)?(p?q) ? m0?m2?m3 结果不含m1, 故01是成假赋值，所以推理不正确 (2) 若今天是1号，则明天是5号. 明天是5号. 所以, 今天是1号 设 p：今天是1号，q：明天是5号. p→q??p∨q?(?p∨q)∧(?p∨p)??p∨(q∧p)??p∨(p∧q)?p→(p∧q) * 推理定律——重言蕴涵式 1. A ? (A?B) 附加律 2. (A?B) ? A 化简律 3. (A?B)?A ? B 假言推理 4. (A?B)??B ? ?A 拒取式 5. (A?B)??B ? A 析取三段论 6. (A?B)?(B?C) ? (A?C) 假言三段论 7. (A?B)?(B?C) ? (A?C) 等价三段论 8. (A?B)?(C?D)?(A?C) ? (B?D) 构造性二难 (A?B)?(?