推理复合判断的推理课件.ppt

《推理复合判断的推理课件.ppt》由会员分享，可在线阅读，更多相关《推理复合判断的推理课件.ppt（22页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、推理复合判断的推理第1页，此课件共22页哦联言推理思考题联言推理思考题有三张牌，已知有这样几个情况有三张牌，已知有这样几个情况 K K右边的两张牌中至少有一张是右边的两张牌中至少有一张是A A。A A左边的两张牌中也有一张是左边的两张牌中也有一张是A A。方块左边的两张牌中至少有一张红桃。方块左边的两张牌中至少有一张红桃。红桃右边的两张牌中也有一张红桃。红桃右边的两张牌中也有一张红桃。问：这三张牌分别是什么？问：这三张牌分别是什么？2第2页，此课件共22页哦分分 析：析：先确定左边的第一张牌，从前提先确定左边的第一张牌，从前提1 1知，是知，是K K，从前提，从前提4 4知，是红桃。得是红桃知

2、，是红桃。得是红桃K K。再确定右边的第一张牌，从前提再确定右边的第一张牌，从前提2 2知，是知，是A A，从前提，从前提3 3知，是方块。得是方块知，是方块。得是方块A A。最后确定中间的牌，从前提最后确定中间的牌，从前提2 2知，或是知，或是A A，或左边，或左边第一张是第一张是A A，从前提，从前提1 1知，左边第一张是知，左边第一张是K K，所以，这张，所以，这张牌是牌是A A。同理，从前提同理，从前提4 4知，或是红桃，或右边第一张是知，或是红桃，或右边第一张是红桃但由前提红桃但由前提3 3可知右边第一张是方块，所以这一张可知右边第一张是方块，所以这一张是红桃是红桃A A。3第3页，

3、此课件共22页哦二、选言推理 选言推理是前提中有一选言判断，依选言判断选言推理是前提中有一选言判断，依选言判断的逻辑性质进行的推理。分两种：相容选言推理和的逻辑性质进行的推理。分两种：相容选言推理和不相容选言推理。不相容选言推理。相容选言推理相容选言推理 前提中有一相容判断，依选言判断的性质进行推前提中有一相容判断，依选言判断的性质进行推理。相容选言判断断定选言支至少有一真，也可以都理。相容选言判断断定选言支至少有一真，也可以都真。真。4第4页，此课件共22页哦相容选言推理规则相容选言推理规则 否定一部分选言支，可以肯定另一部分选言支。否定一部分选言支，可以肯定另一部分选言支。肯定一部分选言支

4、，不能否定另一部分选言支。大前肯定一部分选言支，不能否定另一部分选言支。大前提为相容选言判断，小前提和结论为直言判断。相容选提为相容选言判断，小前提和结论为直言判断。相容选言推理只有一种正确式，即否定肯定式。（排除法）言推理只有一种正确式，即否定肯定式。（排除法）形式：形式：p p或者或者q pq p或者或者q q 非非p p 或或 非非q q 所以，所以，q q 所以，所以，p p 符号：pq pq p 或 q q p。5第5页，此课件共22页哦不相容选言推理不相容选言推理是前提中有一个不相容选言判断，按不相容选言判断是前提中有一个不相容选言判断，按不相容选言判断的规律进行的推理。不相容选言

5、判断选言支中至少有的规律进行的推理。不相容选言判断选言支中至少有且只能有一真，因此规则如下：且只能有一真，因此规则如下：否定一个选言支以外的选言支，可以肯定余下否定一个选言支以外的选言支，可以肯定余下的那个选言支。的那个选言支。肯定一个选言支，可以否定其他的选言支。其肯定一个选言支，可以否定其他的选言支。其大前提为不相容选言判断。小前提和结论为直言判大前提为不相容选言判断。小前提和结论为直言判断。有两种形式：断。有两种形式：否定肯定式否定肯定式和和肯定否定式肯定否定式 6第6页，此课件共22页哦 形式：形式：要么要么p p，要么，要么q q 要么要么p p，要么，要么q q 非非p p 或或

6、非非q q 所以，所以，q q 所以，所以，p p符号：符号：p q p qp q p q p p 或或 q q q pq p否定肯定式否定肯定式 前提中否定一个以外的其余选言支，而结论前提中否定一个以外的其余选言支，而结论中肯定那个未被否定的选言支。中肯定那个未被否定的选言支。注意：注意：这种否定肯定式的规则否定除一个以外的其余选这种否定肯定式的规则否定除一个以外的其余选言支，就要肯定那个未被否定的选言支。大前提选言言支，就要肯定那个未被否定的选言支。大前提选言判断必须穷尽一切可能情况判断必须穷尽一切可能情况.7第7页，此课件共22页哦 形式：形式：要么要么p p，要么，要么q q 要么要么

7、p p，要么，要么q q p p 或或 q q 所以，非所以，非q q 所以，非所以，非p p符号：符号：p q p qp q p q p p 或或 q q q q p p肯定否定式肯定否定式其前提中肯定一个选言支，结论中否定其他选言支。其前提中肯定一个选言支，结论中否定其他选言支。注意：注意：这种肯定否定式的规则：肯定一个选言支，就要这种肯定否定式的规则：肯定一个选言支，就要否定其他选言支。否定其他选言支。要么要么要么只用于表达不相容选言判断。或者要么只用于表达不相容选言判断。或者或者相容、不或者相容、不相容均可。要根据语言形式和语境分出。相容均可。要根据语言形式和语境分出。8第8页，此课件

8、共22页哦思考题思考题：四对夫妻，分别姓王、钱、李、周、孙、陈、吴、徐四对夫妻，分别姓王、钱、李、周、孙、陈、吴、徐。有以下几个前提。有以下几个前提王结婚的时候，周在做客。王结婚的时候，周在做客。周与钱的大衣尺寸、款式、颜色是一样的。周与钱的大衣尺寸、款式、颜色是一样的。李的爱人是陈的爱人的亲表兄。李的爱人是陈的爱人的亲表兄。未结婚前，周、李、徐曾经住在一起。未结婚前，周、李、徐曾经住在一起。陈氏夫妻外出时，吴、徐、周的爱人曾去码陈氏夫妻外出时，吴、徐、周的爱人曾去码头送行。头送行。问：谁和谁是一对夫妻？（选言推理否定肯定式，问：谁和谁是一对夫妻？（选言推理否定肯定式，排除法）排除法）9第9页

9、，此课件共22页哦三、假言推理三、假言推理假言推理是前提中有一假言判断，并依其规律进行的假言推理是前提中有一假言判断，并依其规律进行的推理。三种形式：推理。三种形式：充分条件的假言推理充分条件的假言推理 必要条件假言判断必要条件假言判断 充分必要条件假言判断充分必要条件假言判断10第10页，此课件共22页哦充分条件的假言推理充分条件的假言推理前提中有一个充分条件的假言判断，并依其规律的推理。前提中有一个充分条件的假言判断，并依其规律的推理。充分条件中前、后件的关系有这样几种情况：充分条件中前、后件的关系有这样几种情况：有前件一定有后件。有前件一定有后件。无前件未必无后件。无前件未必无后件。有后

10、件未必有前件。（简单记：有有后件未必有前件。（简单记：有p一定有一定有q；）；）无后件一定无前件。无后件一定无前件。无无q一定无一定无p规则：肯定前件可以肯定后件。规则：肯定前件可以肯定后件。否定前件不能否定后件。否定前件不能否定后件。肯定后件不能肯定前件。肯定后件不能肯定前件。无效无效 否定后件不能肯定前件。否定后件不能肯定前件。所以，有两个有效式：肯定前件式。所以，有两个有效式：肯定前件式。否定后件式。否定后件式。11第11页，此课件共22页哦形式形式注注意意肯定前件式：肯定前件式：形式：形式：符号：符号：如果如果p p，则，则q pqq pq p p p p 所以，所以，q q。q q规

11、则：肯定前件，就要肯规则：肯定前件，就要肯定后件。因前件存在，后定后件。因前件存在，后件一定存在。件一定存在。否定后件式：否定后件式：形式：形式：符号：符号：如果如果p p，则，则q pqq pq 非非p p p p 所以，非所以，非q q。q q否定后件就要否定前件。否定后件就要否定前件。注意：对一个充分条件假言判断来说，其后件是其前件的注意：对一个充分条件假言判断来说，其后件是其前件的必要条件。必要条件。12第12页，此课件共22页哦必要条件假言判断必要条件假言判断前提中有一个必要条件假言判断，并依其规律进行的推理。必要前提中有一个必要条件假言判断，并依其规律进行的推理。必要条件假言判断断

12、定前、后件的关系是以下几种情况：条件假言判断断定前、后件的关系是以下几种情况：无前件一定无后件。无前件一定无后件。有前件未必有后件。有前件未必有后件。有后件一定有前件。（简单记：无有后件一定有前件。（简单记：无p一定无一定无q）无后件未必无前件。无后件未必无前件。有有q一定有一定有p规则：否定前件可以否定后件。规则：否定前件可以否定后件。肯定前件不能肯定后件。（无效）肯定前件不能肯定后件。（无效）肯定后件可以肯定前件。肯定后件可以肯定前件。否定后件不能否定前件。（无效）否定后件不能否定前件。（无效）注意：必要条件的假言判断，前件是后件的必要条件，那么，注意：必要条件的假言判断，前件是后件的必要

13、条件，那么，后件一定是前件的充分条件。后件一定是前件的充分条件。所以，有两个有效式：所以，有两个有效式：否定前件式否定前件式和和肯定后件式肯定后件式 13第13页，此课件共22页哦两个有效式两个有效式否定前件式：否定前件式：形式：形式：符号：符号：只有只有p p，才，才q pqq pq 非非p p p p 所以，非所以，非q q。q q规则：否定前件就要否定规则：否定前件就要否定后件。后件。肯定后件式：肯定后件式：形式：形式：符号：符号：只有只有p p，才，才q pqq pq q q q q 所以，所以，p p。p p规则：肯定后件，就要肯规则：肯定后件，就要肯定前件。定前件。14第14页，此

14、课件共22页哦两个无效式两个无效式 形式形式 只有只有p p，才，才q q 只有只有p p，才，才q q p p 非非p p 所以，所以，q q 所以，非所以，非q q15第15页，此课件共22页哦充分必要条件假言判断充分必要条件假言判断 前提中有一个充要条件的假言判断，依其规律前提中有一个充要条件的假言判断，依其规律进行推理。充要条件判断断定前、后件的关系有以进行推理。充要条件判断断定前、后件的关系有以下几种情况：下几种情况：有前件必有后件。有前件必有后件。无前件必无后件。无前件必无后件。有后件必有前件。有后件必有前件。无后件必无前件。无后件必无前件。规则：肯定前件可以肯定后件。规则：肯定前

15、件可以肯定后件。否定前件可以否定后件。否定前件可以否定后件。肯定后件可以肯定前件。肯定后件可以肯定前件。否定后件可以否定前件。否定后件可以否定前件。16第16页，此课件共22页哦四个有效式四个有效式 1&21&2 肯定前件式：肯定前件式：形式：形式：符号：符号：当且仅当当且仅当p p，则，则q pq q pq p p p p 所以，所以，q q。q q规则：肯定前件可以肯定规则：肯定前件可以肯定后件。后件。否定前件式否定前件式形式：形式：符号：符号：当且仅当当且仅当p p，则，则q pq q pq 非非p p p p 所以，非所以，非q q。q q规则：否定前件就要否定规则：否定前件就要否定后

16、件。后件。17第17页，此课件共22页哦四个有效式四个有效式 3&43&4肯定后件式肯定后件式 形式：形式：符号：符号：当且仅当当且仅当p p，则，则q pq q pq q q q q 所以，所以，p p。p p规则：肯定后件就要肯定规则：肯定后件就要肯定前件前件 。否定后件式否定后件式 形式：形式：符号：符号：当且仅当当且仅当p p，则，则q pq q pq 非非p p p p 所以，非所以，非q q。q q规则：否定后件就要否定规则：否定后件就要否定前件。前件。18第18页，此课件共22页哦四、二难推理四、二难推理 是由两个假言判断和一个二支选言判断为前提的是由两个假言判断和一个二支选言判

17、断为前提的推理，有两种形式：推理，有两种形式：简单构成式简单构成式和和简单破坏式简单破坏式。简单构成式：简单构成式：形式：形式：符号：符号：如果如果p p，那么，那么r r p pr r 如果如果q q，那么，那么r r q qr r p p或者或者q q p pq q 所以，所以，r r r r 特点特点:前提中两个假言判断的前件前提中两个假言判断的前件不同，后件相同。不同，后件相同。前提中选言判断的两个选前提中选言判断的两个选言支分别肯定两个假言判断言支分别肯定两个假言判断的前件。的前件。结论是一个直言判断，它肯定结论是一个直言判断，它肯定前提中两个假言判断的共同的后前提中两个假言判断的共

18、同的后件。件。19第19页，此课件共22页哦简单破坏式简单破坏式简单破坏式：简单破坏式：形式：形式：符号：符号：如果如果p p，则，则q q p pq q 如果如果p p，则，则r r p pr r 或者非或者非q q，或者非，或者非r r p pq q 所以，非所以，非p p p p 特点特点:两个充分条件假言两个充分条件假言前提的前件相同，后前提的前件相同，后件不同。件不同。选言前提的两个选选言前提的两个选言支分别否定两个假言支分别否定两个假言前提的后件。言前提的后件。结论为一个简单判断，它否定两个假言前提相结论为一个简单判断，它否定两个假言前提相同的前件。同的前件。20第20页，此课件共22页哦思考题：聪明的囚徒思考题：聪明的囚徒 国王在要杀掉囚徒时，下了一个命令，允许国王在要杀掉囚徒时，下了一个命令，允许他们说一句话，并能立即证明，如说真话，就施以他们说一句话，并能立即证明，如说真话，就施以绞刑；如说假话，就施以砍头。绞刑；如说假话，就施以砍头。有一个囚徒说了一句话，国王既不能对他绞有一个囚徒说了一句话，国王既不能对他绞刑也不能对他砍头，请问他说了什么？刑也不能对他砍头，请问他说了什么？他说了一句他说了一句“要对我砍头要对我砍头”。21第21页，此课件共22页哦下一章 归纳与类 比推理 22第22页，此课件共22页哦