推理-复合判断的推理

《推理-复合判断的推理》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第六章复合判断的推理一、联言推理其一：合成式p结论是联言判断，q前提是该联言判断的各个联言支。∴p∧q其二：分解式p∧q前提是联言判断，结论是该联言判断得联言支。∴p（或q）1联言推理思考题有三张牌，已知有这样几个情况⒈K右边的两张牌中至少有一张是A。⒉A左边的两张牌中也有一张是A。⒊方块左边的两张牌中至少有一张红桃。⒋红桃右边的两张牌中也有一张红桃。问：这三张牌分别是什么？2分析：先确定左边的第一张牌，从前提1知，是K，从前提4知，是红桃。得是红桃K。再确定右边的第一张牌，从前提2知，是A，从前提3知，

2、是方块。得是方块A。最后确定中间的牌，从前提2知，或是A，或左边第一张是A，从前提1知，左边第一张是K，所以，这张牌是A。同理，从前提4知，或是红桃，或右边第一张是红桃但由前提3可知右边第一张是方块，所以这一张是红桃A。3二、选言推理选言推理是前提中有一选言判断，依选言判断的逻辑性质进行的推理。分两种：相容选言推理和不相容选言推理。⒈相容选言推理前提中有一相容判断，依选言判断的性质进行推理。相容选言判断断定选言支至少有一真，也可以都真。4相容选言推理规则⑴否定一部分选言支，可以肯定另一部分选言支。⑵肯定一

3、部分选言支，不能否定另一部分选言支。大前提为相容选言判断，小前提和结论为直言判断。相容选言推理只有一种正确式，即否定肯定式。（排除法）形式：p或者qp或者q非p或非q所以，q所以，p符号：p∨qp∨q┐p或┐q∴q∴p。5⒉不相容选言推理是前提中有一个不相容选言判断，按不相容选言判断的规律进行的推理。不相容选言判断选言支中至少有且只能有一真，因此规则如下：⑴否定一个选言支以外的选言支，可以肯定余下的那个选言支。⑵肯定一个选言支，可以否定其他的选言支。其大前提为不相容选言判断。小前提和结论为直言判断。有两种

4、形式：否定肯定式和肯定否定式6形式：要么p，要么q要么p，要么q非p或非q所以，q所以，p符号：p∨qp∨q┐p或┐q∴q∴p否定肯定式前提中否定一个以外的其余选言支，而结论中肯定那个未被否定的选言支。注意：这种否定肯定式的规则①否定除一个以外的其余选言支，就要肯定那个未被否定的选言支。②大前提选言判断必须穷尽一切可能情况.7形式：要么p，要么q要么p，要么qp或q所以，非q所以，非p符号：p∨qp∨qp或q∴┐q∴┐p肯定否定式其前提中肯定一个选言支，结论中否定其他选言支。注意：这种肯定否定式的规则：肯

5、定一个选言支，就要否定其他选言支。要么…要么只用于表达不相容选言判断。或者…或者相容、不相容均可。要根据语言形式和语境分出。8思考题：四对夫妻，分别姓王、钱、李、周、孙、陈、吴、徐。有以下几个前提⒈王结婚的时候，周在做客。⒉周与钱的大衣尺寸、款式、颜色是一样的。⒊李的爱人是陈的爱人的亲表兄。⒋未结婚前，周、李、徐曾经住在一起。⒌陈氏夫妻外出时，吴、徐、周的爱人曾去码头送行。问：谁和谁是一对夫妻？（选言推理否定肯定式，排除法）9三、假言推理假言推理是前提中有一假言判断，并依其规律进行的推理。三种形式：⒈充分

6、条件的假言推理⒉必要条件假言判断⒊充分必要条件假言判断10⒈充分条件的假言推理前提中有一个充分条件的假言判断，并依其规律的推理。充分条件中前、后件的关系有这样几种情况：⑴有前件一定有后件。⑵无前件未必无后件。⑶有后件未必有前件。（简单记：有p一定有q；）⑷无后件一定无前件。无q一定无p规则：肯定前件可以肯定后件。否定前件不能否定后件。肯定后件不能肯定前件。无效否定后件不能肯定前件。所以，有两个有效式：肯定前件式。否定后件式。11形式注意①肯定前件式：形式：符号：如果p，则qp→qpp所以，q。∴q规则：

7、肯定前件，就要肯定后件。因前件存在，后件一定存在。②否定后件式：形式：符号：如果p，则qp→q非p┐p所以，非q。∴┐q否定后件就要否定前件。注意：对一个充分条件假言判断来说，其后件是其前件的必要条件。12⒉必要条件假言判断前提中有一个必要条件假言判断，并依其规律进行的推理。必要条件假言判断断定前、后件的关系是以下几种情况：⑴无前件一定无后件。⑵有前件未必有后件。⑶有后件一定有前件。（简单记：无p一定无q）⑷无后件未必无前件。有q一定有p规则：否定前件可以否定后件。肯定前件不能肯定后件。（无效）肯定后件可

8、以肯定前件。否定后件不能否定前件。（无效）注意：必要条件的假言判断，前件是后件的必要条件，那么，后件一定是前件的充分条件。所以，有两个有效式：否定前件式和肯定后件式13两个有效式①否定前件式：形式：符号：只有p，才qp←q非p┐p所以，非q。∴┐q规则：否定前件就要否定后件。②肯定后件式：形式：符号：只有p，才qp←qqq所以，p。∴p规则：肯定后件，就要肯定前件。14两个无效式形式只有p，才q只有p，才qp非p所以，q所以，