北京理工大学《离散数学》第2章 命题逻辑-2013-2014-1.pptVIP

* 2.4.1 推理的形式结构 例:试证若数a是实数,则它不是有理数就是无理数。若a不能表示成分数，则它不是有理数。a是实数，且它不能表示成分数。所以a是无理数。 证明：前提：若数a是实数,则它不是有理数就是无理数。 若a不能表示成分数，则它不是有理数。 a是实数。 a不能表示成分数。 结论： a是无理数。 证：① ∵ 若数a是实数,则它不是有理数就是无理数。（前提） ②又∵ a是实数。（前提) ③ ∴ a不是有理数就是无理数。(由① ②推出) ④ ∵ 若a不能表示成分数，则它不是有理数。(前提) ⑤又∵ a不能表示成分数。(前提) ⑥ ∴ a不是有理数。 (由④⑤推出) ⑦ ∴ a是无理数。 (由③⑥推出) 2.4.1 推理的形式结构 例:试证若数a是实数,则它不是有理数就是无理数。若a不能表示成分数，则它不是有理数。a是实数，且它不能表示成分数。所以a是无理数。 证明：设 p: a是实数。q: a是有理数。r: a是无理数。 s: a能表示成分数 则本例推理的前提： p?(q?r), ?s??q, p, ?s 结论： r 证： ∵ ① p?(q?r) 前提 又∵ ② p 前提 ∴ ③ q?r 由①②推出 ∵ ④ ?s??q 前提 又∵ ⑤ ?s 前提 ∴ ⑥ ?q 由④⑤推出 ∴ ⑦ r 由③⑥推出 四、推理定律 利用真值表可以判断下列推理正确，称为推理定律： (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)∧(?A→B)∧(A∨ ?A)?B (9) 破坏性二难 (A→B)∧(C→D)∧(?B∨?D) ? (?A∨?C) 2.4.1 推理的形式结构 关于推理定律的说明： 1. 推理定律中的A、B、C代表任意的命题公式。 2. 若某个推理的形式结构与某条推理定律对应的蕴涵式一值，则不用证明即可断定该推理正确。 3. 每个基本等值式可派生出两条推理定律。 例如，由A?B ? ?A?B可得： A?B ? ?A?B ?A?B ? A?B 2.4.1 推理的形式结构 定义 2.21 自然推理系统P 定义如下： 1. 字母表 (1) 命题变项符号：p，q，r…，pi，qi，ri ， … (2) 联结词符号：?，?，?，?，? (3) 括号和逗号：( ), , 2. 合式公式 3. 推理规则 (1) 前提引入规则：在证明的任何步骤上都可以引入前提。 (2) 结论引入规则：在证明的任何步骤上所得到的结论都可以作为后继证明的前提。 (3)置换规则：在证明的任何步骤上，命题公式中的子公式都可用与之等值的公式置换，得到公式系列中又一个公式。 2.4.2 自然推理系统 P 推理规则 （4） 附加规则 （5） 化简规则 （6） 假言推理规则 （7） 拒取式规则 2.4.2 自然推理系统 P （8） 析取三段论规则 （9） 假言三段论规则 （10） 构造性二难推理规则 （11）破坏性二难推理规则 （12） 合取引入规则 A ? B ? A ? B 判断实际情况中给出的推理是否正确的一般步骤： （1）先将推理中的简单命题符号化； （2）写出前提和结论； （3）给出证明： 如果不能判断推理是否正确，可选用真值表法、等值演算证明法、范式法，甚至用观察法（找出成假赋值说明推理不正确）进行判断； 如果已能判断推理正确，则可给