逻辑学复合命题.ppt

（11）双否引入规则（﹁﹁+）： 从A，可推出﹁﹁A。 （12）双否消去规则（﹁﹁—）： 从﹁﹁A，可推出A。 （13）否定引入规则（﹁+）： 从A推出B∧﹁B，则可推出﹁A。 （14）否定消去规则（﹁—）： 从﹁A推出B∧﹁B，则可推出A。 3、规则D：如果从命题A能推出命题B，那么就可得出结论“A→B”——蕴涵引入规则（简基为→+）。 4、规则R．P：任意两个彼此等值的命题可以互相替换——等值替换规则。 等值替换规则： （1）交换律： p∧q≡q∧p p∨q≡q∨p （2）结合律： (p∧q)∧r ≡p∧(q∧r) (p∨q)∨r ≡p∨(q∨r) （3）德摩根律： ﹁(p∧q)≡﹁p∨﹁q ﹁(p∨q)≡﹁p∧﹁q （4）分配律： p∧(q∨r)≡(p∧q)∨(p∧r) p∨(q∧r)≡(p∨q)∧(p∨r) （5）实质蕴涵律： p→q≡﹁p∨q （6）假言易位： p→q≡﹁q→﹁p （7）移出律： (p∧q)→r ≡p→(q→r) （8）实质等值律： p?q≡(p→q)∧(q→p) （9）双否律： p≡﹁﹁p （10）重言律： p≡p∧p p≡p∨p 例组： 例1： (p∨q)→r 证明：p→r 例2： ﹁(p∧q) 证明：﹁p∨﹁q 下列公式中，与 P∧Q等值的有（ ） 　A、P → Q 　　B、﹁（P∧Q）　　 C、﹁ P →Q　　 D、﹁（P →﹁Q） 练习题 例1、重庆市某银行被盗，公安机关已掌握如下情况： （1）要么C作案，那么B作案 （2）如果A没去作案，则B去作案 （3）只有E去作案， A才去作案 （4）如果C去作案，则D去作案 （5）B事实上没作案 根据以上条件，说明A、C、D、E是否作案？ 例2、某博物馆被盗走一件珍贵文物，经初步侦查，只有A、B、C、D、E五人有作案可能。现已确知下列条件： ⑴ 如果A参加作案，则B和C也会参加； ⑵ 只有D参加作案，B才会参加； ⑶ C咬定说作案人是D或者E； ⑷ C的话已被证明是假话。 请问,A、B、C、D、E五人中谁是作案人,谁不是作案人？ 例3.在一起凶杀案中，侦查人员了解到以下一些情况： （1）凶手是甲或乙或丙； （2）只有是盗窃杀人案，甲才是凶手； （3）如果是盗窃杀人案，那么被害人的财物丢失； （4）如果乙是凶手，那么案件发生在中午12点以后； （5）案件发生在中午12点以前，并且被害人的财物没有丢失。 问：谁是凶手？ 例4.在一起案件中，公安人员掌握了如下情况： （1）甲或乙是凶手； （2）如果甲是凶手，那么作案地点不在办公室； （3）如果丙的证词真实，则办公室里有枪声； （4）只有作案地点在办公室，丙的证词才不真实。 （5）办公室里无枪声 公安人员因此得出：凶手是乙不是甲。 问：此推理是否正确？ 例5.在一起集团作案中，侦查人员了解到如下一些情况： （1）甲和乙不同时作案； （2）如果丙作案，那么乙也作案； （3）如果丁作案，那么甲也作案； （4）或者戊和己不同时作案，或者丙作案。 （5）丁和己一同作案 据此，侦查人员做出推断：戊不会作案。 问：这一推断正确吗？ * 练（是否有效）： 1.这支灯管不亮或者是由于没有电，或者是由于线路不通。 今天有电 所以，这支灯管不亮是由于线路不通。 2.某同学学习成绩好，或者因为他聪明，或者因为他勤奋。 某同学学习成绩好是因为他聪明； 所以，这位同学不勤奋。 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 . . 规则 练（是否有效）： 1.要么武松打死老虎，要么老虎吃掉武松， 武松打死了老虎； 所以，老虎没有吃掉武松。 2.这场足球决赛，不是中国队赢，就是乌兹别克斯坦赢； 这场足球决赛，中国队输了； 所以，这场足球决赛乌兹别克斯坦赢了。 （三）假言推理 假言推理