【9A文】判断推理—逻辑判断

《【9A文】判断推理—逻辑判断》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、【MeiWei_81-优质适用文档】一、必然性推理概念间关系直言命题的对当关系直言命题的变形推理三段论推理联言命题与选言命题假言命题模态命题智力推理v概念间关系（概念，是构成命题与推理的基础，只有表达了一类事物的词语才是概念）①四种概念间关系（概念所表达的事物范围概念的外延）全同关系（两个概念的外延完全相同）AB全异关系（两个概念的外延完全不同，无重合）AB交叉关系（两个概念的外延有重合部分，也有不重合部分）AB真包含（于）关系AB②用概念间关系表示直言命题直言命题（简单命题），是断定对象是否具有某种性质的单句v直言命题的对当关系（不同直言命题之间在真假方面所存在的制约关系）所有

2、A是B.......................反对..........................所有A不是B推出推出矛盾有的A是B.........................下反对.............................有的A不是B“所有A是B”与“有的A不是B”、“.所有A不是B”与“有的A是B”必有一真一假“所有A是B”与“.所有A不是B”必有一假（可以同假）“有的A不是B”与“有的A是B”必有一真（可以同真）一个命题前面+“并非”=这个命题的矛盾命题所有与有的互换，有“不”的去掉，没“不”的加上v直言命题的变形推理（通过改变前提中直言命题

3、的联项或主项与谓项的关系结论）①换质推理（换一种说法）双重否定表示肯定将“不是”改为“是”或将“是”改为“不是”②换位推理（倒过来说）所有A是B有些B是A所有A不是B所有B不是A有些A是B有些B是A有些A不是B特殊词量（少数，大部分，一半）作为量项引导命题，不能换位v三段论推理（两个直言命题作为前提/一个直言命题作为结论）（两个前提包含三个概念/前提和结论中，每个概念都出现两次）两条常用规则一特得特：两个前提不能都是特称命题（含有“有的”命题）只有一个前提是特称，结论也是特称一否得否：两个前提不能都是否定命题只有一个前提是否定，结论也是否定v联言命题与选言命题复言命题（有两个或多

4、个单句通过联结词联结的命题）联言命题选言命题假言命题【MeiWei_81-优质适用文档】【MeiWei_81-优质适用文档】一、定义及真假关系①联言命题（多做做情况同时存在/P并且Q）联结词：表并列、递进、转折、顺承等关系（虽然…但是/既…又）②选言命题a.相容选言命题（至少有一种情况存在，可以同时存在）（P或者Q）联结词：表选择关系（或者…或者）b.不相容选言命题（有且只有一种情况存在/要么P，要么Q）“或…或..”，二者不可兼得联言命题与相容选言命题是相互矛盾命题二、推理规则①联言命题:一个联言命题为真构成其的每个肢命题为真否定一个肢命题否定联言命题否定联言命题否定一个肢命题

5、②选言命题v假言命题（带有假设性的命题，包含两个肢命题）反应条件的肢命题在前，称为前件反应结果的肢命题在前，称为后件一、定义及真假关系①充分条件（条件P存在时，结论Q一定成立，P是Q的充分）（如果P，那么Q（PQ））（只要…就，若….则，….必须…）②必要条件（条件P不存在，结论Q一定不成立）（只有P，才Q（PQ））（不…不…，除非，否则不，没有….就没有…）③充分必要条件（P既是Q的充分，又是Q的必要）（P当且仅当Q（PQ））（若…则…，且若不…则不…，当且仅当…才…）区别：充分条件（有P必有Q）必有条件（无P必无Q）充分必要条件（P、Q同时成立或不成立）二、推理规则：①充分条

6、件：有P必有Q，无Q必无PPQ（肯定前件）=非Q非P（否定后件）（如果P，那么Q=如果非Q，那么非P）推理规则：肯定前件则肯定后件，否定后件则否定前件否定前件不能否定后件，肯定后件不能肯定前件②必要条件：无P必无Q,有Q必有PPQ=非P非Q（否定前件）=QP（肯定后件）【MeiWei_81-优质适用文档】【MeiWei_81-优质适用文档】（只有P，才Q=如果非P，那么非Q=如果Q，那么P）推理规则：否定前件则否定后件，肯定后件则肯定前件肯定前件不能肯定后件，否定后件不能否定前件否一推一：除非P，否则Q=如果非P，那么Q=只有P，才非Q=如果非Q，那么P三、复杂推理假言连锁推理：

7、PQ，QR，所以，PR二难推理：AC，BC，A或B，则C大部分条件句可看成AB,而A是B的必不可少/必要/前提条件=只有A，才Bv模态命题（含有“必然”、“可能”等模态词的命题）“必然P”和“可能非P”（矛盾命题，必有一真一假）“必然非P”和“可能P”（矛盾命题，必有一真一假）在模态命题前加上“并非”，即为负命题，与原命题具有矛盾关系并非“必然P”=“可能非P”，不必然=可能不并非“必然非P”=“可能P”，不必然不=可能并非“可能P”=“必然非P”，不可能=必然不并非“可能非P”