第三章 命逻辑.pptVIP

2、相容选言命题“p ∨ q”的逻辑性质 小张会唱歌。 小张会跳舞。 小张会飞。 小张会穿越时空。 * （真） （真） （假） （假） 撅龚攘踏馆构璃蹈诸戍躁表访榷汉奖衡增缚空足搅群确贿狂逸阶先愿臀吸第三章 命题逻辑第三章 命题逻辑 2、相容选言命题“p ∨ q”的逻辑性质 小张或者会唱歌，或者会跳舞。 小张或者会唱歌，或者会飞。 小张或者会穿越时空，或者会跳舞。 小张或者会飞，或者会穿越时空。 * （真） （真） （真） （假） 鸡足斗败联毡菱个兔召彝价究挫镰行琢痹后偿设黎税氮羹拿虐筹湍款吹妇第三章 命题逻辑第三章 命题逻辑 2、相容选言命题“p ∨ q”的逻辑性质 如果至少有一个支命题是真的，那么选言命题为真；如果所有支命题都为假，则选言命题为假。 * p + + - - q + - + - p∨q + + + - 皇法兽沈霍肢舱圆发巧仁诸捍恤霉陨篇鹿爪林巨侈庚尾鲁瑟砷损旅惺宴荆第三章 命题逻辑第三章 命题逻辑 3、相容言命题推理 1.否定肯定式：否定其中的一部分选言支，则必须肯定其中的另一部分选言支。 P或者q p或者q 非p 非q 所以，q 所以， p 《血色烂漫》的作者或者是海岩， 或者是都梁。 《血色烂漫》的作者不是海岩， 所以，《血色烂漫》的作者是都梁。 * 忠汽尺脯脾雏揪然鳞良深详儡馅骸藤沪肃领畴孜炮隋茂我岸绩慨烷扑屹艺第三章 命题逻辑第三章 命题逻辑 肯定否定式： p或者q p或者q p q 所以，非q 所以，非p 或者派小李去广州，或者派小王去广州（或者二者都去）， 派小李去广州， 所以，不派小王去广州。 ◆肯定一部分选言支，不能否定另一部分选言支。 * 纪私渗演妮极槐赤弟彦拔怀视辙馆阅牲嫉辈蓬寺锑匣艺唆挤萎祁废嫂撞荔第三章 命题逻辑第三章 命题逻辑 二、不相容选言命题 1.不相容选言命题 命题联结词：“要么”。 支命题：至少两个。 一般形式是：要么p要么q。 p q * 眺戮因甥常陛羡滥逝致洁刃牢庇剖盐诊竹姓祟估靛出敝掣磊功扭见幽勋擂第三章 命题逻辑第三章 命题逻辑 2013年澳网男单冠军要么是小德，要么是穆雷。 2013年澳网男单冠军既是小德，又是穆雷。 2013年澳网男单冠军是小德，不是穆雷。 2013年澳网男单冠军不是小德，是穆雷。 2013年澳网男单冠军不是小德，也不是穆雷。 * （假） （真） （真） （假） 刚所收偏水逮捧佬镣两暗乎祸岂式赚晕乓釜杂私渊沼那排章诗升混社般屡第三章 命题逻辑第三章 命题逻辑 有且只有一个选言支为真；若有多个选言支同时为真，或同时为假，则不相容选言命题亦为假。 * p + + - - q + - + - p q - + + - 谍偿爵焕砌蠕槐骤喇己据马矣骨庐劈岩怔滤边促乡闽爽洋今啦毕墓革鼠胰第三章 命题逻辑第三章 命题逻辑 3、不相容言命题推理 1.否定肯定式：否定其中的一部分选言支，则必须肯定其中的另一部分选言支。 p q p q 非p 非q 所以，q 所以， p 或者要么是你表达有误， 要么是他理解有误。 的确你的表达无误， 所以是他理解有误。 * 枯娱埂见摧惰忆践勋谱朽妻檬脸勾岸兔抉摈羽悄丸肮伸止籽技茹车弘偏条第三章 命题逻辑第三章 命题逻辑 2、肯定否定式： p q p q p q 所以，非q 所以，非p 该案的作案人或者是甲，或者是乙， 现已查明该案的作案人是甲， 所以，该案的作案人不是乙。 ◆肯定一部分选言支，必须否定另一部分选言支。 * 声毕剿曾镐吧造煞羡过固允娃享嫂和署胆巩孪茎钾徊虾扦柞义拾柏外栓画第三章 命题逻辑第三章 命题逻辑 * 老弱病残孕专座——“the old weak and pregnant”。 劣唯收稗舵刹道墩倚官晨腮伏曹黎谢尾垫龄龋绷犀诚扳敛寻厌爆疹逾妹骨第三章 命题逻辑第三章 命题逻辑 第四节