第六单元 复合命题及其推理(下).pptVIP

第 六 章 复合命题及其推理(下) 上讲复习 联言、选言和假言命题的逻辑形式 联言、选言和假言命题的逻辑性质 联言推理、选言推理和假言推理的有效式 复合命题的逻辑形式及逻辑值 一、联言推理的有效式 二、选言推理的有效式 三、假言推理的有效式 写出下列推理的逻辑形式，并判定其是否有效，为什么？ 1. 或者“全班同学都是团员”为假，或者“全班同学都不是团员”为假；“全班同学都不是团员”为假；所以，“全班同学都是团员”为真。 2. C不是D，因为A是B，已知若A不是B，则C是D。 3. 只有一列车子是快车，它不在这一站停；上一班车在这一站停车；所以，上一班车不是快车。 4. 如果桥梁被水冲坏了，汽车就不会准时回来，现在汽车没有准时回来，所以桥梁被水冲坏了。 写出下列推理的逻辑形式，并判定其是否有效，为什么？ 1. 或者“全班同学都是团员”为假，或者“全班同学都不是团员”为假；“全班同学都不是团员”为假；所以，“全班同学都是团员”为真。 写出下列推理的逻辑形式，并判定其是否有效，为什么？ 2. C不是D，因为A是B，已知若A不是B，则C是D。 写出下列推理的逻辑形式，并判定其是否有效，为什么？ 3. 只有一列车子是快车，它不在这一站停；上一班车在这一站停车；所以，上一班车不是快车。 写出下列推理的逻辑形式，并判定其是否有效，为什么？ 4. 如果桥梁被水冲坏了，汽车就不会准时回来，现在汽车没有准时回来，所以桥梁被水冲坏了。 第一节 负命题及其推理 定义 逻辑形式 逻辑性质(逻辑值) 一、负命题 定义 负命题是否定某个命题的命题。 一、负命题 二、负命题的等值推理 二、负命题的等值推理 联言命题负命题的等值推理 相容选言命题负命题的等值推理 不相容选言命题负命题的等值推理 充分条件假言命题负命题的等值推理 必要条件假言命题负命题的等值推理 充分必要条件假言命题负命题的等值命题 p ? q 与 ? p ? ? q 是 关系。 填空: 与“并非做坏事而不受惩罚”这个命题等值的充分条件假言命题是 。 “只有通过考试，才能录取”转换为等值的充分条件假言命题是 ；转换为等值的联言命题的负命题是 。 “并非小王既是大学生又是运动员”等值于选言命题 ，也等值于充分条件假言命题 。 第二节 二难推理 一、二难推理的定义 二、二难推理的有效式 第三节 复合命题的判定方法 用真值表方法判定以下推理是否有效： 请列出下列A、B、C三命题的真值表，并回答A、B、C均真时，甲是否去北京，乙是否去北京。 列出真值表，判定下列各组命题形式在逻辑上是否等值: 非p或者q 如果p那么q 2. 如果p,那么q 只有非p，才非q 3. 如果p,那么q 如果非q，那么非p 甲、乙、丙三位领导发表了下列意见。请用真值表解答：是否有一方案可同时满足甲、乙、丙的意见。 甲：如果小张去黄山，那么小刘也去黄山。 乙：只有小张去黄山，小刘才去黄山。 丙：或者小张去黄山，或者小刘去黄山。 复合命题的逻辑形式 复合命题的逻辑值，并制作一张真值表。 复合命题推理的有效式 复合命题的逻辑值 (1)如果甲参加会议，那么乙不参加；甲参加了会议，所以，乙没参加。 (2)如果甲不参加会议，那么乙参加；乙参加了，所以，甲没参加。 (p ? ? q) ? p ? ? q (? p ? q) ? q ? ? p 例二 用归谬赋值法判定下列形式是否为重言式。 （p ? q) ? (r ? s) ? (p ? r) ? (q ? s) F T T T F F F F F F F F F F × T 答：此形式为重言式。 例三 用归谬赋值法判定下列形式是否为重言式。 （p ? q) ? (r ? s) ? (q ? s) ? (p ? r) F T T T F F F F T F F T F √ 答：此形式不是重言式。 例四 A：只有甲去北京，乙才去北京。 B：如果甲去北京，那么乙也去北京。 C：甲不去北京或乙不去北京 例五