第六章推理——复合判断的推理.pptVIP

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