推理理论.pptVIP

1-8 推理理论 本节 重点 推理定律 。 逻辑推理方法 。 难点 逻辑证明方法。 要求 掌握逻辑推论、逻辑结论等概念； 熟练掌握等价公式和推理定律进行逻辑推理； 熟练掌握命题推理理论的证明方法：真值表法、直接法、间接法（归谬法和CP规则法）等 论证概念 在实际应用的推理中，我们常常把本门学科的一些定理、定律和条件，作为假设前提，尽管这些前提在数理逻辑中实非永真，但在推理过程中，却总是假设这些前提为T，并使用一些公认的规则，得到另外的命题，形成结论，这个过程就是论证。 1、推理理论－概念 定义1-8.1 设A和C是两个命题公式，当且仅当A→C为一重言式，即A?C，称C是A的有效结论。或C可由A逻辑地推出。 推广n个前提 设H1,H2,…,Hn，C是命题公式，当且仅当 H1∧H2∧…∧Hn?C （A） 称C是一组前提H1,H2,…,Hn的有效结论。 判别有效结论的过程就是论证过程，基本方法有真值表法、直接证法和间接证法。 2、证明方法－真值表法 设P1,P2,…,Pn是出现于前提H1,H2,…,Hm和结论C中的全部命题变元，假设对P1,P2,…,Pn作了全部的真值指派，这样就能对应地确定H1,H2,…,Hm和C的所有真值，列出这个真值表，即可看出(A)式是否成立。 1、看H1,H2,…,Hm真值均为T的行，对于每一个这样的行，若C也为T，则(A)式成立； 2、看C的真值为F的行，在每一个这样的行中，H1,H2,…,Hm的真值中至少有一个为F，则(A)式也成立。 2、证明方法－真值表法（举例） 例题2：如果张老师来了，这个问题可以得到解答，如果李老师来了这个问题可以得到解答，总之张老师或李老师来了，这个问题就可得到解答。 解：设 P：张老师来了。 Q：李老师来了。 R：这个问题可以得到解答。 P?R, Q?R, P?Q ?R 2、证明方法－直接证法 由一组前提，利用一些公认的推理规则，根据已知的等价或蕴涵公式，推演得到有效的结论。 P规则：前提在推导过程中的任何时候都可以引入使用。 T规则：在推导中，如果有一个或多个公式重言、蕴含着公式S(等价公式)，则公式S可以引入推导之中。 理解识记常用的蕴涵式和等价式在表1-8.3和表 1-8.4 2、证明方法－直接证法（举例1） 2、证明方法－直接证法（举例2） 例题2 证明 (W∨R)→V, V→C∨S, S→U, ?C∧?U ??W 2、证明方法－间接证法（概念） 定义1-8.2 假设公式H1,H2,…,Hm中的命题变元为P1,P2, …, Pn, 对于P1,P2, …, Pn的一些真值指派，如果能使H1∧H2∧…∧Hm的真值为T，则称公式H1, H2, …, Hm是相容的。 如果对于P1,P2, …, Pn的每一组真值指派，H1∧H2∧…∧Hm的真值均为F，则称公式H1, H2, …, Hm是不相容的。 2、证明方法－间接证法（1） 要证H1∧H2∧…∧Hm?C，设H1∧H2∧…∧Hm为S，即证S?C S?C为重言式（永真式） 即证?C??S永为真， 即证C∨?S为永真， C∨?S??(?C∧S) 即证?C∧S为永假。 因此要证明H1∧H2∧…∧Hm?C，只要证明H1, H2, …, Hm与?C是不相容的。 2、证明方法－间接证法（1）举例 例题3 证明A?B, ?(B∨C)可逻辑推出?A 2、证明方法－间接证法（2） 要证H1∧H2∧…∧Hm?(R→C)。设H1∧H2∧…∧Hm为S，即证S?(R→C) 即证S?(?R∨C) 即证S→(?R∨C)为永真式 S→(?R∨C) ??S∨(?R∨C) ?(?S∨?R)∨C ??(S∧R)∨C ?(S∧R)→C 即证(S∧R)?C 若将R作附加前提，若证S?(R→C)，即证(S∧R)?C，这种证明方法称为CP规则。 2、证明方法－间接证法（2）举例 例题5 证明A→(B→C), ?D∨A, B重言蕴含D→C 举例 例题6 设有下列情况，结论是否有效？ (a) 或者是天晴，或者是下雨 (b) 如果是天晴，我去看电影 (c) 如果我去看电影，我就不看书 结论：如果我在看书则天在下雨 解：若设 M:天晴。 Q: 下雨。 S: 我看电影。 R: 我看书。 小结 推理理论概念 论证过程的证明方法 真值表法 直接证法 间接证法 理解识记蕴涵式表1-8.3和等价式表1-8.4 自然语言翻译 作业 P47 (1)bd(2)b(3)(4)b (5) 第一章 数理逻辑 1-8 推理理论 * 讲授人：胡 盛 例题1 证明(P∨Q)∧(P→R)∧(Q→S)?S∨R