命题逻辑的推理理论.pptVIP

第三章 命题逻辑的推理理论 第二章 命题逻辑等值演算 推理的形式结构 自然推理系统P 知 识 点：推理的形式结构、推理理论、自然系统P、推理规则 教学要求：深刻理解和掌握命题逻辑中的基本推理方法 教学重点：推理理论、推理规则 学时: 2 §3.1 推理的形式结构 论证是指由一些前提出发得到某个结论，在数理逻辑中 需要讨论论证的有效性 提出正确的推理规则和可行的推理方法 A1, A2,…, An为前提, B为结论 称 { A1, A2,…, An }┝ B 为推理的形式结构 定理3.1 命题公式A1, A2,…, An推B是正确的当且仅当 A1?A2?…?An?B 为重言式, 即 A1?A2?…?An ? B 并称B为前提 A1, A2,…, An 的有效结论 或称B为前提 A1, A2,…, An 的逻辑结果 当前提为真时结论也为真 , 但推理正确并不能保证有效结论B一定为真 例如：设p为“太阳从西边升起”, q为”太阳从东边落下” p?q为 “如果太阳从西边升起则太阳从东边落下” 推理 {p,p?q} ┝ q是正确的,即q是前提的有效结论,但q是个假命题 §3.1 推理的形式结构 推理的形式结构: 前提: A1, A2,…, An 结论: B 重要的推理定律 A∧B?A , A∧B?B (化简律) A?A∨B , B?A∨B (附加律) (A →B)∧A ? B (假言推论) (A→B) ∧ ┐B ? ┐A (拒取式) (A∨B) ∧ ┐B ? A (析取三段论) (A→B) ∧ (B →C) ? A→C (假言三段论) (A?B) ∧ (B?C) ? A?C (等价三段论) (A→B) ∧ (C→D)∧(A∨C) ? (B∨D) (构造性二难) (A→B) ∧ (┐A→B) ? B 构造性二难(特殊形式) (A→B) ∧ (C→D) ∧(┐B∨┐D) ? (┐A∨┐C) 破坏性二难 §3.1 推理的形式结构 论证的方法 真值表法 等值演算法 将推理过程形式化 §3.2 自然推理系统P 定义3.2 一个形式系统I由下面四个部分组成： ????（1） 非空的字符表集，记作A(I) ????（2） A(I)中符号构造的合式公式集，记作E(I) ????（3） E(I)中一些特殊的公式组成的公理集，记作AX(I) ????（4） 推理规则集，记作R(I) 可以将 I 记为A(I),E(I),AX(I),R(I) 其中 A(I),E(I)是I的形式语言系统 AX(I),R(I)为I的形式演算系统。 定义3.3 自然推理系统P定义如下：  ????1．字母表 ????（1）命题变项符号：p，q，r，…,pi，qi，ri，…  ???（2）联结词符号：┐,∧,∨,→, ? ?? （3）括号和逗号：( , )，， ??? ?2．合式公式 同定义1.6 ?? ??3．推理规则 §3.2 自然推理系统P 定理3.1 {A1, A2,…, An} ┝ Ai, i = 1, 2,…, n 证明 因为 A1?A2?…?An ? (A1?A2?…?Ai–1?Ai+1?…?An)?Ai ? Ai 所以 {A1, A2,…, An} ┝ Ai 定理3.2 若{A1, A2,…, An} ┝ Bi , i = 1, 2,…, m 且{B1, B2,…, Bm} ┝ C , 则 {A1, A2,…, An} ┝ C 证明 由重言蕴涵的性质和题设可知 A1?A2?…?An ? B1?B2?…?Bm 再由重言蕴涵的传递性可知 A1?A2?…?An? C,即{A1, A2,…, An} ┝ C 定理3.3 若{A1, A2,…, An, B}