第六章是复合命题及其推理下.pptVIP

第 六 章; 联言、选言和假言命题的逻辑形式 联言、选言和假言命题的逻辑性质 联言推理、选言推理和假言推理的有效式;复合命题的逻辑形式及逻辑值;一、联言推理的有效式;二、选言推理的有效式;否定前件式 只有p，才q 非p ∴非q;写出下列推理的逻辑形式，并判定其是否有效，为什么？;写出下列推理的逻辑形式，并判定其是否有效，为什么？;写出下列推理的逻辑形式，并判定其是否有效，为什么？;写出下列推理的逻辑形式，并判定其是否有效，为什么？;写出下列推理的逻辑形式，并判定其是否有效，为什么？;第一节 负命题及其推理;一、负命题; 逻辑值;二、负命题的等值推理;二、负命题的等值推理;联言命题负命题的等值推理;相容选言命题负命题的等值推理;不相容选言命题负命题的等值推理;充分条件假言命题负命题的等值推理; 必要条件假言命题负命题的等值推理;充分必要条件假言命题负命题的等值命题; p ? q 与 ? p ? ? q 是 关系。;填空:;第二节 二难推理;上帝能否创造出一块连自己也搬不动的石头？ 如果上帝能，那么上帝不是全能的（因为上帝搬不动这块石头）； 如果上帝不能，那么上帝不是全能的； 上帝或者能或者不能创造出这样一块石头； 所以，上帝不是全能的。 ;简单构成式 p ? r q ? r p ? q ∴ r;第三节 复合命题的判定方法;例一;例一;用真值表方法判定以下推理是否有效： ;用归谬赋值法判定下列形式是否为重言式。 （p ? q) ? (r ? s) ? (p ? r) ? (q ? s) ;用归谬赋值法判定下列形式是否为重言式。 （p ? q) ? (r ? s) ? (q ? s) ? (p ? r) ;请列出下列A、B、C三命题的真值表，并回答A、B、C均真时，甲是否去北京，乙是否去北京。 ;列出真值表，判定下列各组命题形式在逻辑上是否等值:;甲、乙、丙三位领导发表了下列意见。请用真值表解答：是否有一方案可同时满足甲、乙、丙的意见。 甲：如果小张去黄山，那么小刘也去黄山。 乙：只有小张去黄山，小刘才去黄山。 丙：或者小张去黄??，或者小刘去黄山。;复合命题的逻辑形式 复合命题的逻辑值，并制作一张真值表。 复合命题推理的有效式;复合命题的逻辑值