第一讲复合命题及其推理.第三章复合命题真假情况和对当关系.ppt 47页

第三章 复合命题的真假情况及对当关系 第一节 复合命题形式等值关系进一步 研究 第二节 复合命题形式之间的对当关系 真 真 假 假 假 假 假 真 真 假 真 假 真 假 假 真 假 真 真 真 假 假 真 真 p ← q p → q ?p ∧ q p ∧ ? q q p 从复合命题形式真值表中概括对当关系 反对关系 下反对关系 差等关系 差等关系 矛 盾 关 系 矛 盾 关 系 逻辑方阵 真 真 假 假 假 假 假 真 真 假 真 假 真 假 假 真 假 真 真 真 假 假 真 真 p ← q p → q ?p ∧ q p ∧ ?q q p 从复合命题形式真值表中概括对当关系 p ∧ ?q ?p ∧ q p ← q p → q * 第一节 复合命题形式等值关系进一步研究 一、假言命题与相容选言命题形式的等值关系 1、充分条件假言命题形式与相容选命题形式的等值关系 （7） p→q ≡ ? p∨q （8）p∨q≡ ? p→q 等值式（7）可推导如下： ? （p→q ）≡ p ∧ ? q （ 根据等值式（3）） ? ? （p→q ）≡ ? （p ∧ ? q） （根据等值式的定义） p→q ≡ ? （p ∧ ? q） （根据双重否定律） p→q ≡ ? p ∨ ? ? q （根据等值式（2）） p→q ≡ ? p ∨q （根据双重否定律） 等值式（8）的推导从略。例如，根据等值式（7）， “如果该厂要扭亏为盈，那么就得生产产销对路的产品。”等值于 “或者该厂不扭亏为盈，或者该厂生产产销对路的产品。” 再如，根据等值式（8）， “或者老张去参加会议，或者老李去参加会议”等值于 “如果老张不去参加会议，那么老李去参加会议”。 真 真 真 假 假 真 真 真 真 假 假 假 假 假 真 真 假 真 真 真 ? p ∨ q ? p p → q q p p→q ≡ ? p∨q 由真值表可见，p→q 的真值与 ? p∨q的真值完全相同，所以 利用真值表证明等值式（7）： 利用真值表证明等值式（8）从略。 必要条件假言判断形式与相容选言判断形式之间的等值关系可以下列等值式来加以表示： （9） p←q≡p∨ ? q （10） p∨q≡p← ? q 例如，根据等值式（10）， “或者老张去参加会议，或者老李去参加会议。”逻辑等值于 “只有老张去参加会议，老李才不去参加会议。” 再如，根据等值式（16）， “除非老王戒烟，否则他不能治好气管炎。”逻辑等值于 “或者老王戒烟，或者他不能治好气管炎。” 等值式（9）、（10）的推导及利用真值表的证明从略。 二、复合命题形式等值式概括 （0） ? ? p ≡ p （1） ? (p∨q) ≡?p∧?q （2） ? (p∧q) ≡ ?p∨?q （3） ? (p→q) ≡ p ∧?q （4） ? (p ∧ q) ≡ p→?q （5） ? (p←q) ≡?p ∧ q （6） ? (p ∧ q) ≡ ?p←q （7） p→q ≡?p∨q （8） p∨q ≡ ?p→q （9） p←q ≡ p∨?q (10) p∨q ≡ p←?q (11) p→q ≡ q←p (12) p←q ≡ q→p (13) p→q ≡ ?q→?p (14) p←q ≡ ?q←?p (15) ? (p? q) ≡ p q (16) ? (p q) ≡ p ? q (17) p?q≡(p→q)∧(p←q) (18) ? (p?q)≡(p∧?q)∨(?p∧q) (19) p q≡(p∨q)∧?(p∧q) (20) ?(p q)≡(p∧q)∨(?p∧?q) (∧) ∨ → ← 进出加非 前加非 后加非 前加非 后加非 三、 猪腰图 可以将等值式（1）—（12） 直观地概括在右面这个所谓的“猪腰图 ”中。这个图是20多年前作者 在自学考试者辅导逻辑学课程时， 在一些学员自己设计出来的图表的 基础上改进后开始采用并编写进形式逻辑教科书中的。20多年来，这个所谓的“猪腰图”曾经帮助过成千上万的初学逻辑学者特别是自学者克服了理解、记忆复合命题形式等值转换公式方面的困难。 下面介绍“猪腰图”的涵义。 (∧) ∨ 进出加非 前加非 后加非 左图可分解为两个图：图（一）和图（二）。 图（一）表示联言命题的负命题形式逻辑等值于前（一个支命题前）加（上并）非与后（一个支命题前）加（上并）非所组成的选言命题形式： （2） ? （p∧q）≡ ? p ∨ ? q 另一方面，根据等值式（2），此图还可形象地看成：将合取词外面的括号及括号前的否定词沿联线转移到析取词的外面（图（二））： ∧ ? （ ∨ ） 前加非 后加非 ? （ ∧ ） ∨ （一） 出加非 （二） 进加非 图（二）表示选言命题的负命题形式逻辑等值于前（一个支命题前）加（上并）非与后（一个支命题前）加（上并）非所组成的联言命题形式： （1） ? （p ∨ q）≡ ? p ∧ ? q 前加非 后加非 (∧) ∨ 进出加非 前加非 后加非 （2） ? （p∧q）≡ ? p ∨ ? q 直观地看，等值式左边是在联言命题形式前加（上并）非，从而将括号中的联言命题形式变出来成为一个由前（一个支命题前）加（上并）非与后（一个支命题前）加（上并）非所组成的选言命题形式。 ∧ ? （ ∨ ） 前加非 后加非 ? （ ∧ ） ∨ （一） 出加非 （二） 进加非 （1） ? （p ∨ q）≡ ? p ∧ ? q 直观地看，等值式左边是在选言命题形式前加（上并） 非，从而将选言命题形式变成为一个由前（一个支命题前）加（上并）非与后（一个支命题前）加（上并）非所组成的选言命题形式。 相对于图（一）是由联言命题形式变出来成为选言命题形式，图（二）可看成由选言命题形式变进去成为联言命题形式。 前加非 后加非 (∧) → 进出加非 后加非 图（一） 出加非 ? (∧) → 后加非 图（二） 进加非 ∧ ?（→） 前加非 图（一）表示联言命题的负命题 形式逻辑等值于前一个支判断与后 （一个支命题前）加（上并）非所 组成的充分条件假言命题形式： （4） ? （p∧q）≡ p → ? q 图（二）表示充分条件假言判 断的负命题形式逻辑等值于前一 个支命题与后（一个支命题前） 加（上并）非所组成的联言命题 形式： （3） ? （p →q）≡ p ∧ ? q (∧) ← 进出加非 前加非 图（一） 出加非 ? （ ∧ ） ← 前加非 图（一）表示联言命题的负命题形式逻辑等值于前（一个支命题前）加（上并）非与后一个支命题所组成的必要条件假言命题形式： （6） ? （p∧q）≡ ? p ← q 图（二） 进加非 ∧ ? （←） 前加非 图（二）表示必要条件假言命题的负命题形式逻辑等值于前（一个支命题前）加（上并）非与后一个支命题所组成的联言命题形式： （5） ? （p ← q）≡ ? p ∧ q ∨ → ← 前加非 后加非 ∨ 上图表示:相容选言命题形式逻辑等值于前一个支命题加（上并）非与后一个支命题所组成的充分条件假言命题形式；充分条件假言命题形式逻辑等值于前一个支命题加（上并）非与后一个支命题所组成的相容选言命题形式： （8） p ∨ q≡ ? p → q （7） p → q≡ ? p ∨ q 下图表示:相容选言命题形式逻辑等值于前一个支命题与后一个支命题加（上并）非所组成的必要条件假言命题形式；必要条件假言命题形式逻辑等值于前一个支判断与后一个支命题加（上并）非所组成的相容选言命题形式： （10） p ∨ q≡ p ← ? q （9） p ← q≡ p ∨ ? q → ← 左图表示:充分条件假言命题形式逻辑等值于前件与后件交换位置组成的必要条件假言命题形式；必要条件假言命题形式逻辑等值于前件与后件交换位置组成的充分条件假言命题形式： （11） p → q ≡ p ← q （12） p ← q ≡ p → q 猪腰图绘制 ∧ ∨ → ← (∧) ∨ → ← (∧) ∨ → ← 进出加非 前加非 后加非 前加非 后加非 （0） ? ? p ≡ p （1） ? (p∨q) ≡?p∧?q （2） ? (p∧q) ≡ ?p∨?q （3） ? (p→q) ≡ p ∧?q （4） ? (p ∧ q) ≡ p→?q （5） ? (p←q) ≡?p ∧ q （6） ? (p ∧ q) ≡ ?p←q （7） p→q ≡?p∨q （8） p∨q ≡ ?p→q （9） p←q ≡ p∨?q (10) p∨q ≡ p←?q (11) p→q ≡ q←p (12) p←q ≡ q→p (13) p→q ≡ ?q→?p (14) p←q ≡ ?q←?p (15) ? (p? q) ≡ p q (16) ? (p q) ≡ p ? q (17) p?q≡ (p→q)∧(p←q) (18) ? (p ? q)≡(p∧?q)∨(?p∧q) (19) p q ≡ (p∨q) ∧ ? (p∧q) (20) ?(p q) ≡ (p∧q) ∨(?p∧?q) 真 假 真 假 假 假 真 真 假 假 真 假 真 真 假 假 假 真 假 真 假 真 真 真 ?p ∨ ?q p ∨ q ?p ∧ ?q p ∧ q q p 第二节 复合命题形式之间的对当关系 所谓复合命题形式之间的对当关系，是指支命题相同（简称同素材）的复合命题形式之间的真假关系，当不致发生混淆时，可简称为对当关系。 真 假 真 假 假 假 真 真 假 假 真 假 真 真 假 假 假 真 假 真 假 真 真 真 ?p ∨ ?q p ∨ q ?p ∧ ?q p ∧ q q p 由表可见： 1、 p ∧ q与?p ∨ ?q 、 ? p ∧ ? q与p ∨ q之间的对当关系是： 若p ∧ q真，则?p ∨ ?q假，若p ∧ q假，则?p ∨ ?q真；反之亦然（即反过来，若?p ∨ ?q真，则p ∧ q假，若?p ∨ ?q假，则 p ∧ q真）。 ? p ∧ ? q与p ∨ q之间的对当关系 我们称p ∧ q与?p ∨ ?q 、 ? p ∧ ? q与p ∨ q之间的对当关系为矛盾关系。具有矛盾关系的两个命题形式真假情况正好相反，即既不同真，也不同假。 真 假 真 假 假 假 真 真 假 假 真 假 真 真 假 假 假 真 假 真 假 真 真 真 ?p ∨ ?q p ∨ q ?p ∧ ?q p ∧ q q p 2、 p ∧ q与? p ∧ ? q 之间的对当关系是： 若p ∧ q真，则?p ∧ ?q假，当p ∧ q假时?p ∧ ?q真假不定；反之亦然（即反过来，若?p ∧ ?q真，则p ∧ q假，当? p ∧ ? q为假时p ∧ q真假不定）。 我们称p ∧ q与? p ∧ ? q之间的对当关系为反对关系。具有反对关系的两个命题形式真假情况正好相反，即既不同真，也不同假。 真 假 真 假 假 假 真 真 假 假 真 假 真 真 假 假 假 真 假 真 假 真 真 真 ?p ∨ ?q p ∨ q ?p ∧ ?q p ∧ q q p 3、 p ∨ q与? p ∨ ? q 之间的对当关系是： 若p ∨ q假，则?p ∨ ?q真，当p ∨ q真时?p ∨ ?q真假不定；反之亦然（即反过来，若?p ∨ ?q假，则p ∨ q真，当? p ∨ ? q为真时p ∨ q真假不定）。 我们称p ∨ q与? p ∨ ? q之间的对当关系为下反对关系。具有反对关系的两个命题形式真假情况正好相反，即既不同真，也不同假。 真 假 真 假 假 假 真 真 假 假 真 假 真 真 假 假 假 真 假 真 假 真 真 真 ?p ∨ ?q p ∨ q ?p ∧ ?q p ∧ q q p 4、 p ∧ q与p ∨ q 、? p ∧ ? q 与? p ∨ ? q 之间的对当关系是： 若p ∧ q真，则p ∨q真，当p ∧ q假时p ∨ q真假不定；反过来，若p ∨ q假，则p ∧ q假，当 p ∨ q为真时p ∧ q真假不定。 ? p ∧ ? q 与? p ∨ ? q 之间的对当关系与此类似。 我们称p ∧ q与p ∨ q 、? p ∧ ? q 与? p ∨ ? q 之间的对当关系为差等关系。 反对关系 下反对关系 差等关系 差等关系 矛 盾 关 系 矛 盾 关 系 逻辑方阵 真 真 真 假 假 假 真 真 假 假 真 假 真 真 假 假 假 真 假 真 假 真 真 真 ?p ∨ ?q p ∨ q ? p ∧ ?q p ∧ q q p 从复合命题形式真值表中概括对当关系 p ∧ q ?p ∧?q p ∨ q ?p ∨ ?q 对当关系应用 例 小方、小林做完数学题后发现答案不一样。 小方说：“如果我的不对，那你的就对了。” 小林说：“我看你的不对，我的也不对。” 旁边的小刚看了看他们两人的答案后说：“小林的答案错了。” 这时数学老师刚好走过来，听到了他们的谈话，并查看了他们的运算结果后说：“刚才你们三个人所说的话中只有一句是真的。” 请问下述说法中哪一个是正确的？ （A）小方说的是真话，小林的答案对了。 （B）小刚说的是真话，小林的答案错了。 （C）小林说对了，小方和小林的答案都不对。 （D）小林说错了，小方的答案是对的。 对当关系应用 例 小方、小林做完数学题后发现答案不一样。 小方说：“如果我的不对，那你的就对了。”(① ?方→林) 小林说：“我看你的不对，我的也不对。”(② ?方∧?林) 旁边的小刚看了看他们两人的答案后说：“小林的答案错了。”(③ ?林) 这时数学老师刚好走过来，听到了他们的谈话，并查看了他们的运算结果后说：“刚才你们三个人所说的话中只有一句是真的。” 请问下述说法中哪一个是正确的？ （A）小方说的是真话，小林的答案对了。 （B）小刚说的是真话，小林的答案错了。 （C）小林说对了，小方和小林的答案都不对。 （D）小林说错了，小方的答案是对的。 解:应选(A)。根据复合命题的等值转换关系, ①与②具有矛盾关系, ? （ ? p → q）≡ ? p ∧ ? q 必有一真。由此根据题设， ③为假，即小林的答案对了。由此， ②为假。所以，小方说的是真话，小林的答案对了。 对当关系的应用 例. 某矿山发生了一起严重的安全事故。关于事故原因，甲乙丙丁四位负责人有如下断定： 甲：如果造成事故的直接原因是设备故障，那么肯定有人违反操作规程。 乙：确实有人违反操作规程，但造成事故的直接原因不是设备故障。 丙：造成事故的直接原因确实是设备故障，但并没有人违反操作规程。 丁：造成事故的直接原因是设备故障。 如果上述断定只有一个人的为真，那么以下断定都不可能为真，除了： （A）甲的断定为真，有人违反了操作规程。 （B）甲的断定为真，但没有人违反操作规程。 （C）乙的断定为真。 （D）丙的断定为真。 对当关系的应用 例 某矿山发生了一起严重的安全事故。关于事故原因，甲乙丙丁四位负责人有如下断定： 甲：如果造成事故的直接原因是设备故障，那么肯定有人违反操作规程。 ①设→违 乙：确实有人违反操作规程，但造成事故的直接原因不是设备故障。 ② ?设∧违 丙：造成事故的直接原因确实是设备故障，但并没有人违反操作规程。 ③ 设∧ ?违 丁：造成事故的直接原因是设备故障。 ④ 设 如果上述断定只有一个人的为真，那么以下断定都不可能为真，除了： （A）甲的断定为真，有人违反了操作规程。 （B）甲的断定为真，但没有人违反操作规程。 （C）乙的断定为真。 （D）丙的断定为真。 解: 应选（B）。① 与③具有矛盾关系, 必有一真 ? （ 设 → 违）≡ 设 ∧ ? 违 根据题设， ②、 ④ 为假。 由④ 为假得?设，故③为假，从而， ①为真即甲的断定为真。 由②为假， ?（?设 ∧ 违）≡ 设∨ ?违，由此及?设根据相容选言推理“否定肯定式”，得?违，即“没有人违反操作规程”为真。 对当关系的应用 已知在甲、乙、丙、丁、戊五人中只有一人说假话，其余人都说真话。五人对相关问题回答如下： 甲：我和乙说真话。 甲∧乙 乙：丙不说假话。 丙 丙：如果丙不说假话，那么丁也不说假话。 丙→丁 丁：如果甲不说真话，那么丙也不说真话。 ?甲→ ?丙 戊：如果甲说真话，那么乙就说假话。 甲→ ?乙 请根据他们的回答推断谁是说假话者？ （A）甲。 （B）乙。 （C）丙。 （D）戊。 解：甲、戊所说不能同真，必有一假。故乙、丙、丁所说都为真，由此依次可得出丙说真话（∵丙） 丁说真话（ ∵丙→丁，丙 ? 丁） 甲说真话（ ∵ ?甲→ ?丙，丙 ? 甲） 故戊说假话，应选（D）。 注意，此处甲∧乙与甲→ ?乙之间具有矛盾关系，不能同真。 真 真 真 假 假 假 假 假 假 假 真 真 真 假 真 假 假 真 假 真 真 假 假 真 真 真 真 假 真 真 真 真 p ? q p ← q p → q p q p ∨ q p ∧ q q p p当且仅当q 只有 p，才q 如果 p那么q 要么p要么q p或者 q p并且q 从复合命题形式真值表中概括对当关系 反对关系 下反对关系 差等关系 差等关系 矛 盾 关 系 矛 盾 关 系 逻辑方阵 真 真 假 假 假 假 真 假 真 假 真 假 真 假 真 假 假 真 假 真 假 真 真 真 ?p ∨ ?q p ? q p q p ∧ q q p 从复合命题形式真值表中概括对当关系 p ∧ q p q p ? q ?p ∨ ?q *