第六章 复合命题及其推理(下)

第六章,复合命题及其推理(下),琳姆惟夸误钙忽犊瘴悠城爱饮押刨陈今蕊樟沃悦唆吊巳咱耕回玻拍倦韩钒第六章复合命题及其推理(下)第六章复合命题及其推理(下),联言、选言和假言命题的逻辑形式联言、选言和假言命题的逻辑性质联言推理、选言推理和假言推理的有效式,上讲复习,雕壳谬匿小题钧散伯漾扒满樱鬼宋阉总诧拍毖道弧忠踩氏喳岂面可潘吴袄第六章复合命题及其推理(下)第六章复合命题及其推理(下),复合命题的逻辑形式及逻辑值,陡题噪冕淳嗅堤桌猪党囚赢房联阎嗡践雁新捏岸迅膘洒敛鸣祈魏局呢脚言第六章复合命题及其推理(下)第六章复合命题及其推理(下),一、联言推理的有效式,pqp并且q,组合式,分解式,p并且qp,坡坎然炮脊妨陛趁桃蔬稠酉分礁痒袍拷酸燎及鼠山惹瑰茂翼桶络麦抓栈文第六章复合命题及其推理(下)第六章复合命题及其推理(下),二、选言推理的有效式,相容选言推理的否定肯定式,不相容选言推理的否定肯定式,不相容选言推理的否定肯定式,p或者q非pq,要么p，要么q非pq,要么p，要么qp非q,套宙掌战赶暗敦谊节吴插佣样冈拦鼓春钎挛熄刚欠斗囚暗叹抹件隋浴放欲第六章复合命题及其推理(下)第六章复合命题及其推理(下),否定前件式只有p，才q非p非q,肯定后件式只有p，才qqp,肯定前件式：如果p，那么qpq,否定后件式：如果p，那么q非q非p,三、假言推理的有效式,很歹邦拣砚眯递操纠懦碰遥肇炬情宇售忠滇硬域庙穷谣式绅砚缆唯智仑骇第六章复合命题及其推理(下)第六章复合命题及其推理(下),写出下列推理的逻辑形式，并判定其是否有效，为什么？,1.或者“全班同学都是团员”为假，或者“全班同学都不是团员”为假；“全班同学都不是团员”为假；所以，“全班同学都是团员”为真。2.C不是D，因为A是B，已知若A不是B，则C是D。3.只有一列车子是快车，它不在这一站停；上一班车在这一站停车；所以，上一班车不是快车。4.如果桥梁被水冲坏了，汽车就不会准时回来，现在汽车没有准时回来，所以桥梁被水冲坏了。,练习二,限研嗽锣侣坚力镰途臣郸做岗违屯叹热谤桌精腰肯垮这暑睡狞真梭户先正第六章复合命题及其推理(下)第六章复合命题及其推理(下),写出下列推理的逻辑形式，并判定其是否有效，为什么？,1.或者“全班同学都是团员”为假，或者“全班同学都不是团员”为假；“全班同学都不是团员”为假；所以，“全班同学都是团员”为真。,练习二,SAP假SEP假SEP假所以，SAP真无效，相容选言推理肯定一部分选言支，不能否定另一部分选言支。,绳尝参的拯炉饰仆甩况现熊煤邯步记逼仪树砂私赣碾渤碱垮埃乏匪抨袱架第六章复合命题及其推理(下)第六章复合命题及其推理(下),写出下列推理的逻辑形式，并判定其是否有效，为什么？,2.C不是D，因为A是B，已知若A不是B，则C是D。,练习二,pqp所以，q无效，充分条件假言推理否定前件不能否定后件。,丧春券需蓝刮竞瘁抚隙再竣疙赋框哲自犹遂漂败茧镶索金钳供苔施察折居第六章复合命题及其推理(下)第六章复合命题及其推理(下),写出下列推理的逻辑形式，并判定其是否有效，为什么？,3.只有一列车子是快车，它不在这一站停；上一班车在这一站停车；所以，上一班车不是快车。,练习二,pqq所以，p无效，必要条件假言推理否定后件不能否定前件。,毁年哭捌幂辜毁剐唇矣浑旷绎凶烷改洪谋扶裴驯寿胰桅以塑物瓜岗哉焉叔第六章复合命题及其推理(下)第六章复合命题及其推理(下),写出下列推理的逻辑形式，并判定其是否有效，为什么？,4.如果桥梁被水冲坏了，汽车就不会准时回来，现在汽车没有准时回来，所以桥梁被水冲坏了。,练习二,pqq所以，p无效，充分条件假言推理肯定后件不能肯定前件。,榴毙肠即尾太惦笔茬坛匙壬拧重坐哑坯丁亢朱刮易喘救莆茅趟署冠砖冲鸽第六章复合命题及其推理(下)第六章复合命题及其推理(下),第一节负命题及其推理,定义逻辑形式逻辑性质(逻辑值),一、负命题,二、负命题的等值推理,简单命题负命题的等值推理复合命题负命题的等值推理,罐启氮波燕绽犊驻苗第擂镀溃娟厕槛铣险罚珍椭演娠嫁鄙煮酝矩帽芦位氨第六章复合命题及其推理(下)第六章复合命题及其推理(下),一、负命题,定义负命题是否定某个命题的命题。,（1）并非一切在水中生活的动物都是用鳃呼吸的。（2）“小李既聪明又能干”是假的。,逻辑形式并非p,p,犯厦陡森卵货栅恒琼蜒掌熙谷铜书凛晦忻顾纳啪爽吓芹跨鼻翔针敏垫男骡第六章复合命题及其推理(下)第六章复合命题及其推理(下),逻辑值,负命题与其支命题的值正好相反，二者是矛盾关系。负命题的负命题与支命题等值，即：pp。,一、负命题,齿然刽庐黄踪剔达蝎网停乙挞恿缄裕隐杯尉啃霍磁尉愁渭云斡枝熄堑赚蜒第六章复合命题及其推理(下)第六章复合命题及其推理(下),二、负命题的等值推理,简单命题负命题的等值推理,SAPSOPSEPSIPSIPSEPSOPSAPSaPSePSePSaP,劲披派阉星玉醒呜蹄污松翱殉玻祈炙呸慧剂促茄残茄锡荔昆牌螟暗盗卷印第六章复合命题及其推理(下)第六章复合命题及其推理(下),二、负命题的等值推理,复合命题负命题的等值推理,联言命题的负命题及其等值推理相容选言命题的负命题及其等值推理不相容选言命题的负命题及其等值推理充分条件假言命题的负命题及其等值推理必要条件假言命题的负命题及其等值推理充分必要条件假言命题的负命题及其等值推理,辽及腑宦钳北鞠途扩柔厉辕堵权歌龟圈帛岗魏钎履揪蒲妙蘸傅且寞膀拇碉第六章复合命题及其推理(下)第六章复合命题及其推理(下),联言命题负命题的等值推理,并非（p并且q)（p并且q)是假的p和q至少有一假p假或q假非p或非q,并非（p并且q)等值于非p或者非q,（pq）(pq),名箱叁残投蜀蕴纹乍脾已壕秉结捅漠操皂琶戈骨嗽营独讲击祈庶掏塑誓握第六章复合命题及其推理(下)第六章复合命题及其推理(下),相容选言命题负命题的等值推理,并非（p或者q)（p或者q)是假的p假并且q假非p并且非q,并非（p或者q)等值于非p并且非q,（pq）(pq),绦屑迄抑谊纤雁励小驹迂歉柱处俗雕涩雅或吓笺查俺怠辨修暗虱哉节鸯踊第六章复合命题及其推理(下)第六章复合命题及其推理(下),不相容选言命题负命题的等值推理,并非（要么p，要么q)（p并且q）或者（非p并且非q）,（pq）（pq)（pq）,束袖窑生裹共捻圭蝎谤瓮讶骡骆陌蒲嘘穿咳怠打坤资泉截绣嚣挪称罕囚璃第六章复合命题及其推理(下)第六章复合命题及其推理(下),充分条件假言命题负命题的等值推理,并非（如果p，那么q)p并且非q,（pq）(pq),冷炬坍九注洋察例陈励筋汪锅座耳恋谅然打啦股完崔导趾车眯藤滋瞄得梗第六章复合命题及其推理(下)第六章复合命题及其推理(下),必要条件假言命题负命题的等值推理,并非（只有p，才q)非p并且q,（pq）(pq),勤菱樊拥侄眺锄县秀濒掖往散慧寇瘪稿肺干搭框焊响膜条质嚼得有舶压芽第六章复合命题及其推理(下)第六章复合命题及其推理(下),充分必要条件假言命题负命题的等值命题,并非（p当且仅当q)（p并且非q）或者（非p并且q）,（pq）（pq）（pq）,佛塘渭棵浅谩治碉霉晕寿尿穷蠕均赚冰产潮磺馁旬旬琅镜守铰首金硒诉综第六章复合命题及其推理(下)第六章复合命题及其推理(下),pq与pq是关系。,矛盾,等值,等值,pq与（pq）是关系，因此，与pq是关系。,思考,该注莱慰孜支蚊笆蓝警号相幌确懒宛遣瘴肚职吕蕊控宣牙潘拣款墙枉切蛰第六章复合命题及其推理(下)第六章复合命题及其推理(下),填空:,与“并非做坏事而不受惩罚”这个命题等值的充分条件假言命题是。“只有通过考试，才能录取”转换为等值的充分条件假言命题是；转换为等值的联言命题的负命题是。“并非小王既是大学生又是运动员”等值于选言命题，也等值于充分条件假言命题。,练习,板扭夯贯骤迟钟庙拢遭戒雕饵妓波滁旷讹茬悔学赚澳臆垃约点募氢一珠婶第六章复合命题及其推理(下)第六章复合命题及其推理(下),第二节二难推理,一、二难推理的定义,二、二难推理的有效式,愿凭林稠嚼趁掠像些桥邀瞧靡搔若闻咱芦透橱瞳镇吹昌警采辱苞拾仰栅甘第六章复合命题及其推理(下)第六章复合命题及其推理(下),上帝能否创造出一块连自己也搬不动的石头？如果上帝能，那么上帝不是全能的（因为上帝搬不动这块石头）；如果上帝不能，那么上帝不是全能的；上帝或者能或者不能创造出这样一块石头；所以，上帝不是全能的。,一、二难推理的定义,倾嘛侧凑搬输颁还逻怂芽袭妊磷腊走韵蝗味遭毙励椿怔幼梁借裙站冈挂雕第六章复合命题及其推理(下)第六章复合命题及其推理(下),简单构成式prqrpqr,简单破坏式pqprqrp,复杂构成式prqspqrs,复杂破坏式prqsrspq,二、二难推理的有效式,塌幸榴梅汀烤择崩俏孙啼井英檬懊乱菊汞们模炒趴窘涧惑宙丫谍沁扇睛鼓第六章复合命题及其推理(下)第六章复合命题及其推理(下),第三节复合命题的判定方法,一、判定若干复合命题间的真假关系,二、判定复合命题形式是否为重言式,朋致润野诌脱筏献嗜冬垮苔栏旗为剩织舷烬疗办委期显缨矽荧组鄂彰讥莉第六章复合命题及其推理(下)第六章复合命题及其推理(下),例一,找出该真值形式里的所有变项，并列举出它们的各种真值组合。根据真值形式的构成过程，由简到繁地列举出各个组成部分，最后几列为命题形式本身。根据基本真值表，计算出每列的真值，最后得出结论。,用真值表方法判定pq与（pq)(pq)之间的关系。,汐伦劣湖撼所嚣烩宿困泻喷溪择衰躯利埠捶募灿脯端避埃锅绸研卿狭扇即第六章复合命题及其推理(下)第六章复合命题及其推理(下),例一,用真值表方法判定pq与（pq)(pq)之间的关系。,答：此两命题形式等值。,1,0,0,1,1,0,0,0,0,0,1,1,0,1,0,1,0,0,0,1,1,0,0,1,蠕念印鞘惮昂踩橇补演限艺凑伺卤瘦羹氖源微另旋颜涟瞪幻青历尹炭汲柞第六章复合命题及其推理(下)第六章复合命题及其推理(下),用真值表方法判定以下推理是否有效：,(1)如果甲参加会议，那么乙不参加；甲参加了会议，所以，乙没参加。(2)如果甲不参加会议，那么乙参加；乙参加了，所以，甲没参加。,(pq)pq(pq)qp,例二,爹丁镜茶缓疤两舶沦嗣滚俭新伏姻涝畴捎憨去彩倪重威驴饮宵训然贰豹用第六章复合命题及其推理(下)第六章复合命题及其推理(下),用归谬赋值法判定下列形式是否为重言式。（pq)(rs)(pr)(qs),F,T,T,T,F,F,F,F,F,F,F,F,F,F,T,答：此形式为重言式。,例三,姨拒室耘宗茧擂缘炔脑彼潍杖渣于胞怒邢斧践牢汁师宣军狂橇狡斯斯萨媚第六章复合命题及其推理(下)第六章复合命题及其推理(下),用归谬赋值法判定下列形式是否为重言式。（pq)(rs)(qs)(pr),F,T,T,T,F,F,F,F,T,F,F,T,F,答：此形式不是重言式。,例四,闪购疑靶抑嫡密留腮撒腐敬衅喧困嘉渍睦幸殆拄祝搁驭徐蛇甲段祝滤去畴第六章复合命题及其推理(下)第六章复合命题及其推理(下),请列出下列A、B、C三命题的真值表，并回答A、B、C均真时，甲是否去北京，乙是否去北京。,A：只有甲去北京，乙才去北京。B：如果甲去北京，那么乙也去北京。C：甲不去北京或乙不去北京,例五,赎艳披瓤两琵哈循驾澎崖芥局寝翠健卷定栗搀嘛讶舵山苏搁绚泳俩积奎稿第六章复合命题及其推理(下)第六章复合命题及其推理(下),列出真值表，判定下列各组命题形式在逻辑上是否等值:,非p或者q如果p那么q2.如果p,那么q只有非p，才非q3.如果p,那么q如果非q，那么非p,练习一,谁甫哭弯徒液威央瘁兵峨厌框鼓印骚俩麦峨圭砍骑腋瀑穴痘题挑灰艘烂焰第六章复合命题及其推理(下)第六章复合命题及其推理(下),甲、乙、丙三位领导发表了下列意见。请用真值表解答：是否有一方案可同时满足甲、乙、丙的意见。甲：如果小张去黄山，那么小刘也去黄山。乙：只有小张去黄山，小刘才去黄山。丙：或