（精选）第二章、必然性推理(上)复合命题推理.ppt

逻辑学 精品课程立项LOGIC 1 2 第二章必然性推理 上 复合命题推理 2 1命题与推理概述2 2联言命题及其推理2 3选言命题及其推理2 4假言命题及其推理2 5负命题及其推理2 6真值表的判定作用2 7复合命题推理的综合应用 本章主要内容 3 第四章命题逻辑 上 复合命题推理 本章教学目标 1 正确区分简单命题与复合命题 2 熟练掌握基本复合命题的逻辑形式和逻辑特征 3 正确理解和运用命题间的等值关系 4 熟练掌握基本命题推理 4 2 1命题与推理概述 二 命题和语句的关系 一 命题都是由语句来表达的 但并非所有的语句都表达命题 二 命题和语句不是一一对应的 1 同一个命题可以用不同的语句来表达2 同一语句可以表达不同的命题 5 2 1命题与推理概述 三 命题分类1 简单命题和复合命题2 性质命题和关系命题 6 2 1命题与推理概述 三 命题分类性质命题简单命题命题关系命题复合命题 7 2 1命题与推理概述 三 命题分类1 简单命题和复合命题 1 简单命题 贪污罪是故意罪 2 复合命题 或者今天开会 或者明天开会 或者后天开会如果他犯了罪 那么他就要受到惩罚并非只有金属才导电 8 2 1命题与推理概述 三 命题分类2 性质命题和关系命题 1 性质命题贪污罪是故意罪 2 关系命题印度洋比太平洋的面积大 9 2 1命题与推理概述 三 命题分类1 简单命题和复合命题2 性质命题和关系命题3 模态命题和非模态命题例如 火山爆发必然引起环境变化人的平均寿命可能到100岁 10 2 1命题与推理概述 一 推理 是由一个或者若干个命题推出另一个命题的思维形式 二 推理的组成要素 前提 结论 推出关系 11 2 1命题与推理概述 一 推理 是由一个或者若干个命题推出另一个命题的思维形式 二 推理的组成要素 前提 结论 推出关系三 推理的分类 一 必然推理和或然推理 二 演绎 归纳和类比 三 直接推理和间接推理 二分法 12 2 1命题与推理概述 三 推理的分类 三 直接推理和间接推理 二分法 例1 公民的民事权利能力一律平等 这一法律条文为前提可以推出以下结论 结论一 公民的民事权利能力不是不一律平等 直接推理SAP SE非P 结论二 有的公民的民事权利能力一律平等 直接推理SAP PIS SIP 13 2 1命题与推理概述 三 推理的分类 三 直接推理和间接推理 二分法 例2 普法教育是一项战略性工作很多法律工作者在进行普法教育 所以 很多法律工作者在进行一项战略性工作 间接推理 14 2 1命题与推理概述 一 推理 是由一个或者若干个命题推出另一个命题的思维形式 二 推理的组成要素 前提 结论 推出关系三 推理的分类 一 必然推理和或然推理 二 演绎 归纳和类比 三 直接推理和间接推理 二分法 四 推理的有效性 15 2 1命题与推理概述 四 推理的有效性1 有效式和无效式2 要得出一个必然为真的结论 推理必须具备两个条件 第一 前提内容真实第二 推理形式有效 16 2 2联言命题及其推理 复合命题的构成 复合命题都由两部分构成 逻辑联结词和肢命题 逻辑联结词是能将若干命题连接起来形成新命题的语词 诸如 并且 或者 或者 如果 那么 只有 才 当且仅当 则 并非 等等 17 2 2联言命题及其推理 一 联言命题及其推理联言命题由联言肢和联言联结词构成 1 联言命题的逻辑联结词 和 并且 而且 不但 而且 虽然 但是 既 又2 联言命题的一般逻辑形式 p并且q 记作 p q 读作 p合取q 符号 是合取词 18 2 2联言命题及其推理 一 联言命题及其推理例如 张某既是哲学家 又是法学家 还是律师 19 2 2联言命题及其推理 一 联言命题及其推理联言命题的逻辑含义 从真值层面断定它的几个肢命题同时都是真的 例如 张某既是哲学家 又是法学家 还是律师 20 2 2联言命题及其推理 联言命题的真值当且仅当所有的联言肢均为真 则联言命题为真 真值表 联言支n 2 21 一般地 若联言命题有n个联言支 则其真值表就有2n行 根据联言命题的真值表易知 若p为假 则p q r为假 若p q r为真 则p q r均为真 2 2联言命题及其推理 22 2 2联言命题及其推理 联言推理仅仅根据联言命题的逻辑性质推出结论的推理是联言推理 例如 普及是重要的 提高也是重要的 所以普及和提高都是重要的 23 2 2联言命题及其推理 一 合成式写法 1 pq p q 2 p q p q 24 2 2联言命题及其推理 二 分解式写法 1 p qp q p q 2 p q pp q q 3 p q pp q q 25 2 3选言命题及推理 二 选言命题 一 含义与构成1 逻辑含义 断定几种可能的事物情况中至少有一种存在 也就是 几个肢命题至少有一个为真 例如 1 或者甲作案 或者乙作案 2 要么扣留驾驶执照 要么罚款1000元 26 2 3选言命题及推理 二 选言命题 一 含义与构成2 构成 选言命题由选言肢和选言联结词构成 选言联结词 1 相容 2 不相容 27 二 种类 相容选言命题断定几种可能的事物情况可以并存的选言命题 如 或者甲作案 或者乙作案 联结词 或者 也许 也许 或许 或许 可能是 可能是 2 3选言命题及推理 28 二 种类 相容选言命题断定几种可能的事物情况可以并存的选言命题 如 或者甲作案 或者乙作案 一般逻辑形式 或者p 或者q 或者写成 p q 读作p析取q 符号 是析取词 2 3选言命题及推理 29 2 3选言命题及推理 相容选言命题的真值 当且仅当所有的选言支均为假 则相容选言命题为假 真值表 30 2 3选言命题及推理 2 不相容选言命题断定几种可能的事物情况不可并存的选言命题是不相容选言命题 如例 2 要么扣留驾驶执照 要么罚款1000元 逻辑联结词 要么 要么 或者 或者 二者必居其一 一般逻辑形式 要么p 要么q 31 不相容选言命题的真值 当且仅当其中一个选言支为真 则不相容选言命题为真 真值表 2 3选言命题及推理 32 二 选言推理仅仅根据选言命题的逻辑性质推出结论的推理是选言推理 例如 或者甲中头奖 或者乙中头奖 甲未中头奖 所以乙中了头奖 一 相容选言推理仅仅根据相容选言命题的逻辑性质推出结论的推理是相容选言推理 如上例 2 3选言命题及推理 33 相容选言推理的正确形式只有否定肯定式 写法 1 p qp q p q q p2 p q p qp q q p3 p q p q p q q p 2 3选言命题及推理 34 推理规则 1 否定一部分选言支 就要肯定另一部分选言支 2 肯定一部分选言支 不能否定另一部分选言支 p q 无效式 p q 2 3选言命题及推理 35 相容选言推理的正确形式只有否定肯定式 有效式 p q r q p r无效式 p q r q p r 2 3选言命题及推理 36 2 3选言命题及推理 二 不相容选言推理仅仅根据不相容选言命题的逻辑性质推出结论的推理是不相容选言推理 例如 要么甲队获得冠军 要么乙队获得冠军 甲队获得了冠军 所以乙队未能获得冠军 不相容选言推理的正确式有 1 肯定否定式2 否定肯定式p qp qp p q q 37 不相容选言推理的推理规则 1 肯定一部分选言支 就要否定另一部分选言支 2 否定一部分选言支 就要肯定另一部分选言支 2 3选言命题及推理 38 运用选言命题的注意事项 1 对于其肢命题都是虚假的选言命题 该选言命题一定为假 2 当一个选言肢不穷尽时 千万不能遗漏掉真实的选言肢 2 3选言命题及推理 39 练习 下列推理是否有效 若无效 则从逻辑上说明理由 刘晓燕或者会唱歌 或者会跳舞 刘晓燕的歌确实唱得很好 所以 刘晓燕不会跳舞 2 3选言命题及推理 40 2 4假言命题及其推理 假言命题和假言推理一 前件和后件 1 前件 表示条件的支命题2 后件 表示依赖条件而成立的支命题 41 2 4假言命题及其推理 假言命题和假言推理二 假言命题的种类 1 充分条件假言命题2 必要条件假言命题3 充分必要条件假言命题 42 2 4假言命题及其推理 假言命题和假言推理三 逻辑联结词 1 充分条件 如果 那么 只要 就2 必要条件 只有 才 除非 才3 充分必要条件 当且仅当 43 2 4假言命题及其推理 假言命题和假言推理三 逻辑联结词 1 充分条件 如果 那么 只要 就如果某甲是案犯 那么他具有作案时间 2 必要条件 只有 才 除非 才只有推理形式有效 结论才必然为真 3 充分必要条件 当且仅当 一个整数是偶数 当且仅当它能被2整除 44 2 4假言命题及其推理 四 逻辑含义 充分条件假言命题表示一种 蕴含 关系 它的逻辑含义 前件真 后件必真必要条件假言命题表示一种 逆蕴含 关系 它的逻辑含义 前件假 后件必假 充要条件假言命题表示一种 等值 关系 它的逻辑含义 前件真 后件必真 前件假 后件必假 45 假言命题真值表如果p 那么q只有p才有qp当且仅当q 蕴含 逆蕴含 等值 pqp qp qp q1111100101100011 2 4假言命题及其推理 1 1 0 0 46 假言推理 肯定前件式否定后件式肯定后件式否定前件式 充分条件假言推理形式 有效式 有效式 无效式 无效式 p q p q p q p q p q q p q p p q 2 4假言命题及其推理 47 必要条件假言推理形式 无效式 无效式 有效式 有效式 p q p q p q p q p q q p q p p q 肯定前件式否定后件式肯定后件式否定前件式 2 4假言命题及其推理 48 2 4假言命题及其推理 3 充分必要条件假言推理 其中的假言命题为充要条件假言命题 例如 正确式 1 肯定前件式 2 否定前件式 3 肯定后件式 4 否定后件式练习 当且仅当人犯我 则我犯人 可以得出那些推理形式 请同学们试着写出这些正确的式 49 充要条件假言推理规则 1 肯定前件就要肯定后件 否定前件就要否定后件 2 肯定后件就要肯定前件 否定后件就要否定前件 2 4假言命题及其推理 50 2 4假言命题及其推理 3 充分必要条件假言推理 其中的假言命题为充要条件假言命题 例如 正确式 1 肯定前件式 2 否定前件式 3 肯定后件式 4 否定后件式练习 当且仅当人犯我 则我犯人 可以得出那些推理形式 请同学们试着写出这些正确的式 51 充要条件假言推理规则 1 肯定前件就要肯定后件 否定前件就要否定后件 2 肯定后件就要肯定前件 否定后件就要否定前件 2 4假言命题及其推理 52 四 与假言命题有关的复合命题推理1 条件间的相互关系 1 若p是q的充分条件 则q是p的必要条件 反之亦然 2 若p是q的充分条件 则非p是非q的必要条件 反之亦然 3 若p是q的充要条件 则q也是p的充要条件 2 4假言命题及其推理 53 2 正确式 1 p q q p 2 p q q p 3 p q q p 2 4假言命题及其推理 54 练习下列推理是否有效 若无效 则从逻辑上说明理由 1 如果停电 那么演出将不能举行 演出果然未能举行 所以一定时停电了 2 只有认识到自己的错误 才能改正错误 某人没有改正错误 说明 他没有认识到自己的错误 2 4假言命题及其推理 55 2 4假言命题及其推理 四 与假言命题有关的复合命题推理 一 假言易位推理 通过变换假言命题的前后件而推出结论的推理 如果死者是砒霜中毒而死的 那么他的肠胃里有黄色沉淀物 所以 如果死者肠胃里没有黄色沉淀物 那么 它就不是砒霜中毒而死 假言易位推理写作 p q q p 56 2 4假言命题及其推理 二 假言联锁推理 根据条件间的传递性所进行的假言推理 例如 如果a b 那么a是偶数 如果a是偶数 那么c也是偶数 所以 如果c不是偶数 那么并非a b 1 充分条件假言联锁推理的正确式 1 肯定式 p q q r p r 2 否定式 p q q r r p 57 2 4假言命题及其推理 2 必要条件假言联锁推理的正确式 1 否定式 p q q r p r 2 肯定式 p q q r r p 58 2 4假言命题及其推理 三 二难推理 59 2 4假言命题及其推理 三 二难推理1 含义由两个假言命题和一个选言命题作为前提所构成的推理叫二难推理 如果我胜诉 那么按照法庭的判决 我不该付另一半学费 如果我败诉 那么按照我们原来的合同 我也不该付另一半学费 我或者胜诉 或者败诉 总之 我不该付另一半学费 60 1 简单构成式 p r q r p q r2 复杂构成式 p r q s p q r s 3 简单破坏式 p q p r q r p4 复杂破坏式 p r q s r s p q 2 4假言命题及其推理 61 2 4假言命题及其推理 一 构成式 肯定前件式简单构成式 前提中两个后件是相同的复杂构成式 前提中两个前件 两个后件都是不相同的二 破坏式 否定后件式 简单破坏式 前提两个前件是相同的复杂破坏式 前提中两个前件 两个后件都是不相同的 62 2 4假言命题及其推理 三 二难推理的破斥1 指出前提虚假 2 指出推理形式无效 3 构造相反的二难推理 63 四 归谬推理例 如果 一切判断都是假的 是真的 那么一切判断都是假的 如果 一切判断都是假的 是真的 那么并非一切判断都是假的 所以 一切判断都是假的 是假的 推理形式 2 4假言命题及其推理 64 五 负命题否定一个命题所得到的命题是负命题 例如 1 并非2 2 5 2 并不是如果我去 你就去 一般逻辑形式 并非p 或者写成 p 符号 是否定词 2 5负命题及其推理 65 2 5负命题及其推理 负命题的真值 当且仅当支命题为假 则负命题为真 真值表 由此可知 一个负命题与其支命题在真值上是矛盾关系 66 2 5负命题及其推理 一 负命题的负命题 p p 二 联言命题的负命题和等值命题 p q p q 三 选言命题的负命题1 相容选言命题 p q p q 2 不相容选言命题 p q p q p q 四 假言命题的负命题1 充分条件假言命题的负命题 p q p q2 必要条件假言命题的负命题 p q p q3 充要条件的负命题 p q p q q p p q p q p q 67 基本复合命题的负命题及其等值命题的公式为 1 2 3 4 5 6 p q p q p q p q 7 p p 2 5负命题及其推理 68 2 3选言命题及推理 常见的等值形式1 p q p q 析取定义律 2 p q p q 合取定义率 3 p q p q 德摩根率 4 p q p q 德摩根率 5 p q q p p q q p 交换律 6 p p p p p p 重言律 7 p q r p q r p q r p q r 结合律 8 p q r p q p r p q r p q p r 分配律 69 2 5负命题及其推理 常见的等值形式1 析取定义律 p q p q p q 的逻辑含义是 p和q至少一真 也就意味着 p和q 并非同时为假 2 合取定义率 p q p q p q 的逻辑含义是 p和q同时为真 也就意味着 p和q 并非有假 70 2 5负命题及其推理 常见的等值形式3 德摩根率 p q p q p q 为假 意味着 p和q至少一假 4 德摩根率 p q p q p q 为假 意味着 p和q同时为假 71 2 5负命题及其推理 常见的等值形式5 p q q p p q q p 交换律 6 p p p p p p 重言律 7 p q r p q r p q r p q r 结合律 8 p q r p q p r p q r p q p r 分配律 72 2 5负命题及其推理 例如 并非 或者小张去 或者小李去 等值于 小张不去并且小李不去 其等值公式为 73 课堂练习 下列两命题是否等值 1 并不是 如果你做则他做 而且只有你做他才做 2 你不做但他做 或者你做而他不做 2 5负命题及其推理 74 4 3多重复合命题等值命题 答案 解 命题 1 的逻辑形式是 p q p q 命题 2 的逻辑形式是 p q p q 因为公式 1 p q p q p q p q 公式 2 所以原两命题是等值的 75 2 5负命题及其推理 关于使用括号的约定1 整个公式外面的括号可以省略 例如 p q 可表示为 p q2 各真值连接词的结合力按下列次序递减 例如 p q 中的括号就不能去掉 3 连续的 从后向前依次结合 例如 p q r s也就是p q r s 76 2 5负命题及其推理 真值函项的种类1 常真的真值函项例如 F p p p2 常假的真值函项例如 F p p p3 可满足的真值函项例如 F p p 77 真值形式的种类由于真值函项有三种 相应地真值形式有三种 这就是 永真式 永假式和适真式 永真式 重言式 表示常真的真值函项的命题公式是永真式 即 一命题公式是永真式 当且仅当不论其命题变元取什么值 公式的值恒为真 2 5负命题及其推理 78 2 5负命题及其推理 由于永真式的真值与构成它的原子公式的真值无关 所以重言式中的原子公式可换以任何公式 代换的结果仍为重言式 例如 p p是重言式 替换成 r s r s 仍为重言式