离散数学 命题逻辑的推理理论课件.ppt

1.6 命题逻辑的推理理论 推理的形式结构 判断推理是否正确的方法 推理定律与推理规则 构造证明法 推理的形式结构—问题的引入 推理: 从前提出发推出结论的思维过程 前提是指已知的命题公式，结论是推出的命题公式 例 如果天气凉快，小王就不去游泳.天气凉快.所以小王 没有去游泳. p:天气凉快，q:小王去游泳 前提： (p? ? q)ùp 结论： ? q 问题：如何判断推理的是否正确？ 推理的形式结构 定义 “A1, A2, …, Ak 推B” 的推理正确 当且仅当 A1ùA2ù…ùAk?B为重言式. 若对于每组赋值，A1ùA2ù…ù Ak 为假，或 当A1ùA2ù…ùAk为真时, B也为真, 则称由A1,A2,…, Ak 推B的推理正确 , 否则推理不正确（错误）. 推理的形式结构: A1ùA2ù…ùAk?B 或 前提： A1, A2, … , Ak 结论： B 若推理正确，则记作：A1ùA2ù…ùAkTB. 判断推理是否正确的方法 真值表法 等值演算法 主析取范式法 构造证明法 说明：当命题变项比较少时，用前3个方法比较方 便, 此时采用形式结构“ A1ùA2ù…ùAk?B” . 当命题变项比较多时，用构造证明法，采用“前提: A1, A2, … , Ak, 结论: B”. 实例 例 判断下面推理是否正确 (1) 若今天是1号，则明天是5号. 今天是1号. 所 以明天是5号. 解 设 p：今天是1号，q：明天是5号. 证明的形式结构为: (p?q)ùp?q 证明（用等值演算法） (p?q)ùp?q ? ?((?púq)ùp)úq ? ?pú?qúq ? 1 得证推理正确 实例 (续) (2) 若今天是1号，则明天是5号. 明天是5号. 所以今天是1号. 解 设p：今天是1号，q：明天是5号. 证明的形式结构为: (p?q)ùq?p 证明（用主析取范式法） (p?q)ùq?p ? (?púq)ùq?p ? ? ((?púq)ùq)úp ? ?qúp ? (?pù?q)ú(pù?q)ú (pù?q)ú(pùq) ? m0úm2úm3 结果不含m1, 故01是成假赋值，所以推理不正确. 推理定律——重言蕴涵式 重要的推理定律 A T (AúB) 附加律 (AùB) T A 化简律 (A?B)ùA T B 假言推理 (A?B)ù?B T ?A 拒取式 (AúB)ù?B T A 析取三段论 (A?B)ù(B?C) T (A?C) 假言三段论 (A?B)ù(B?C) T (A?C) 等价三段论 (A?B)ù(C?D)ù(AúC) T (BúD) 构造性二难 推理定律 (续) (A?B)ù(?A?B)ù(Aú?A) T B 构造性二难（特殊形式） (A?B)ù(C?D)ù( ?Bú?D) T (?Aú?C) 破坏性二难 推理规则 推理规则(续) 构造证明——直接证明法 例 构造下面推理的证明： 若明天是星期一或星期三，我就有课. 若有课，今天必备课. 我今天下午没备课. 所以， 明天不是星期一和星期三. 解 ?设 p：明天是星期一，q：明天是星期三， r：我有课，s：我备课 形式结构为 前提：(púq)?r, r?s, ?s 结论：?pù?q 直接证明法 (续) 证明 ① r?s 前提引入 ② ?s