推理复合判断的推理.pptVIP

第1页，共22页，星期日，2025年，2月5日联言推理思考题有三张牌，已知有这样几个情况⒈K右边的两张牌中至少有一张是A。⒉A左边的两张牌中也有一张是A。⒊方块左边的两张牌中至少有一张红桃。⒋红桃右边的两张牌中也有一张红桃。问：这三张牌分别是什么？*第2页，共22页，星期日，2025年，2月5日分析：先确定左边的第一张牌，从前提1知，是K，从前提4知，是红桃。得是红桃K。再确定右边的第一张牌，从前提2知，是A，从前提3知，是方块。得是方块A。最后确定中间的牌，从前提2知，或是A，或左边第一张是A，从前提1知，左边第一张是K，所以，这张牌是A。同理，从前提4知，或是红桃，或右边第一张是红桃但由前提3可知右边第一张是方块，所以这一张是红桃A。*第3页，共22页，星期日，2025年，2月5日二、选言推理选言推理是前提中有一选言判断，依选言判断的逻辑性质进行的推理。分两种：相容选言推理和不相容选言推理。⒈相容选言推理前提中有一相容判断，依选言判断的性质进行推理。相容选言判断断定选言支至少有一真，也可以都真。*第4页，共22页，星期日，2025年，2月5日相容选言推理规则⑴否定一部分选言支，可以肯定另一部分选言支。⑵肯定一部分选言支，不能否定另一部分选言支。大前提为相容选言判断，小前提和结论为直言判断。相容选言推理只有一种正确式，即否定肯定式。（排除法）形式：p或者qp或者q非p或非q所以，q所以，p符号：p∨qp∨q┐p或┐q∴q∴p。*第5页，共22页，星期日，2025年，2月5日⒉不相容选言推理是前提中有一个不相容选言判断，按不相容选言判断的规律进行的推理。不相容选言判断选言支中至少有且只能有一真，因此规则如下：⑴否定一个选言支以外的选言支，可以肯定余下的那个选言支。⑵肯定一个选言支，可以否定其他的选言支。其大前提为不相容选言判断。小前提和结论为直言判断。有两种形式：否定肯定式和肯定否定式*第6页，共22页，星期日，2025年，2月5日形式：要么p，要么q要么p，要么q非p或非q所以，q所以，p符号：p∨qp∨q┐p或┐q∴q∴p否定肯定式前提中否定一个以外的其余选言支，而结论中肯定那个未被否定的选言支。注意：这种否定肯定式的规则①否定除一个以外的其余选言支，就要肯定那个未被否定的选言支。②大前提选言判断必须穷尽一切可能情况.*第7页，共22页，星期日，2025年，2月5日形式：要么p，要么q要么p，要么qp或q所以，非q所以，非p符号：p∨qp∨qp或q∴┐q∴┐p肯定否定式其前提中肯定一个选言支，结论中否定其他选言支。注意：这种肯定否定式的规则：肯定一个选言支，就要否定其他选言支。要么…要么只用于表达不相容选言判断。或者…或者相容、不相容均可。要根据语言形式和语境分出。*第8页，共22页，星期日，2025年，2月5日思考题：四对夫妻，分别姓王、钱、李、周、孙、陈、吴、徐。有以下几个前提⒈王结婚的时候，周在做客。⒉周与钱的大衣尺寸、款式、颜色是一样的。⒊李的爱人是陈的爱人的亲表兄。⒋未结婚前，周、李、徐曾经住在一起。⒌陈氏夫妻外出时，吴、徐、周的爱人曾去码头送行。问：谁和谁是一对夫妻？（选言推理否定肯定式，排除法）*第9页，共22页，星期日，2025年，2月5日三、假言推理假言推理是前提中有一假言判断，并依其规律进行的推理。三种形式：⒈充分条件的假言推理⒉必要条件假言判断⒊充分必要条件假言判断*第10页，共22页，星期日，2025年，2月5日⒈充分条件的假言推理前提中有一个充分条件的假言判断，并依其规律的推理。充分条件中前、后件的关系有这样几种情况：⑴有前件一定有后件。⑵无前件未必无后件。⑶有后件未必有前件。（简单记：有p一定有q；）⑷无后件一定无前件。无q一定无