判断推理——逻辑判断

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

1、..一、必然性推理概念间关系直言命题的对当关系直言命题的变形推理三段论推理联言命题与选言命题假言命题模态命题智力推理v概念间关系〔概念，是构成命题与推理的根底，只有表达了一类事物的词语才是概念〕①四种概念间关系〔概念所表达的事物围概念的外延〕全同关系〔两个概念的外延完全一样〕AB全异关系〔两个概念的外延完全不同，无重合〕AB穿插关系〔两个概念的外延有重合局部，也有不重合局部〕AB真包含〔于〕关系AB②用概念间关系表示直言命题直言命题〔简单命题〕，是断定对象是否具有某种性质的单句v直言命题的对当关系〔不同直言命题之

2、间在真假方面所存在的制约关系〕..word.zl...所有A是B.......................反对..........................所有A不是B推出推出矛盾有的A是B.........................下反对.............................有的A不是B“所有A是B〞与“有的A不是B〞、“.所有A不是B〞与“有的A是B〞必有一真一假“所有A是B〞与“.所有A不是B〞必有一假〔可以同假〕“有的A不是B〞与“有的A是B〞必有一真〔可以同真〕一个命

3、题前面+“并非〞=这个命题的矛盾命题所有与有的互换，有“不〞的去掉，没“不〞的加上v直言命题的变形推理〔通过改变前提中直言命题的联项或主项与谓项的关系结论〕①换质推理〔换一种说法〕双重否认表示肯定将“不是〞改为“是〞或将“是〞改为“不是〞②换位推理〔倒过来说〕所有A是B有些B是A所有A不是B所有B不是A有些A是B有些B是A有些A不是B特殊词量〔少数，大局部，一半〕作为量项引导命题，不能换位v三段论推理〔两个直言命题作为前提/一个直言命题作为结论〕..word.zl...〔两个前提包含三个概念/前提和结论中，每个概

4、念都出现两次〕两条常用规那么一特得特：两个前提不能都是特称命题〔含有“有的〞命题〕只有一个前提是特称，结论也是特称一否得否：两个前提不能都是否认命题只有一个前提是否认，结论也是否认v联言命题与选言命题复言命题〔有两个或多个单句通过联结词联结的命题〕联言命题选言命题假言命题一、定义及真假关系①联言命题〔多做做情况同时存在/P并且Q〕联结词：表并列、递进、转折、顺承等关系〔虽然…但是/既…又〕②选言命题a.相容选言命题〔至少有一种情况存在，可以同时存在〕〔P或者Q〕联结词：表选择关系〔或者…或者〕b.不相容选言命题〔

5、有且只有一种情况存在/要么P，要么Q〕“或…或..〞，二者不可兼得联言命题与相容选言命题是相互矛盾命题二、推理规那么①联言命题:一个联言命题为真构成其的每个肢命题为真否认一个肢命题否认联言命题..word.zl...否认联言命题否认一个肢命题②选言命题v假言命题〔带有假设性的命题，包含两个肢命题〕反响条件的肢命题在前，称为前件反响结果的肢命题在前，称为后件一、定义及真假关系①充分条件〔条件P存在时，结论Q一定成立，P是Q的充分〕〔如果P，那么Q〔PQ〕〕〔只要…就，假设….那么，….必须…〕②必要条件〔条件P不存

6、在，结论Q一定不成立〕〔只有P，才Q〔PQ〕〕〔不…不…，除非，否那么不，没有….就没有…〕③充分必要条件〔P既是Q的充分，又是Q的必要〕〔P当且仅当Q〔PQ〕〕〔假设…那么…，且假设不…那么不…，当且仅当…才…〕区别：充分条件〔有P必有Q〕必有条件〔无P必无Q〕充分必要条件〔P、Q同时成立或不成立〕..word.zl...二、推理规那么：①充分条件：有P必有Q，无Q必无PPQ〔肯定前件〕=非Q非P〔否认后件〕〔如果P，那么Q=如果非Q，那么非P〕推理规那么：肯定前件那么肯定后件，否认后件那么否认前件否认前件不能

7、否认后件，肯定后件不能肯定前件②必要条件：无P必无Q,有Q必有PPQ=非P非Q〔否认前件〕=QP〔肯定后件〕〔只有P，才Q=如果非P，那么非Q=如果Q，那么P〕推理规那么：否认前件那么否认后件，肯定后件那么肯定前件肯定前件不能肯定后件，否认后件不能否认前件否一推一：除非P，否那么Q=如果非P，那么Q=只有P，才非Q=如果非Q，那么P三、复杂推理假言连锁推理：PQ，QR，所以，PR二难推理：AC，BC，A或B，那么C大局部条件句可看成AB,而A是B的必不可少/必要/前提条件=只有A，才Bv模态命题〔含有“必然〞、“

8、可能〞等模态词的命题〕“必然P〞和“可能非P〞〔矛盾命题，必有一真一假〕“必然非P〞和“可能P〞〔矛盾命题，必有一真一假〕在模态命题前加上“并非〞，即为负命题，与原命题具有矛盾关系并非“必然P〞=“可能非P〞，不必然=可能不并非“必然非P〞=“可能P〞，不必然不=可能并非“可能P〞=“必然非P〞，不可能=必然不..word.zl...并非“可能非P〞=“必然P〞，不可能不