判断推理——逻辑判断.pdf

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

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

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

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

4、联言命题与选言命题复言命题（有两个或多个单句通过联结词联结的命题）联言命题选言命题假言命题一、定义及真假关系①联言命题（多做做情况同时存在/P并且Q）联结词：表并列、递进、转折、顺承等关系（虽然…但是/既…又）②选言命题a.相容选言命题（至少有一种情况存在，可以同时存在）（P或者Q）联结词：表选择关系（或者…或者）b.不相容选言命题（有且只有一种情况存在/要么P，要么Q）“或…或..”，二者不可兼得联言命题与相容选言命题是相互矛盾命题联言命题（P且Q）相容选言命题（P或者Q）不相容选言命题（要么P，要么Q）真假判断一假即假，全真才真一真即真，全假才假有且只有一真才真

5、矛盾命题非P或者非Q非P且非Q“P且Q”或“非P且非Q”二、推理规则①联言命题:一个联言命题为真构成其的每个肢命题为真否定一个肢命题否定联言命题否定联言命题否定一个肢命题②选言命题相容选言命题（P或者Q）不相容选言命题（要么P，要么Q）肯定一个肢命题，就能否定其余肢命题；肯定一部分肢命题，不能否定另一部分肢命题推理规则否定一个肢命题以外的所有命题，就能肯否定一部分肢命题，可以肯定另一部分肢命题定未被否定的那个肢命题要么P，要么Q——非P—所以Q否定肯定式推理有效式P或者Q——非P—所以，Q否定肯定式要么P，要么Q——P—所以非Q肯定否定式假言命题（带有假设性的命题，

6、包含两个肢命题）反应条件的肢命题在前，称为前件反应结果的肢命题在前，称为后件一、定义及真假关系①充分条件（条件P存在时，结论Q一定成立，P是Q的充分）（如果P，那么Q（PQ））（只要…就，若….则，….必须…）②必要条件（条件P不存在，结论Q一定不成立）（只有P，才Q（PQ））（不…不…，除非，否则不，没有….就没有…）③充分必要条件（P既是Q的充分，又是Q的必要）（P当且仅当Q（PQ））欢迎下载。第22页共6页精品文档（若…则…，且若不…则不…，当且仅当…才…）区别：充分条件（有P必有Q）必有条件（无P必无Q）充分必要条件（P、Q同时成立或不成立）充分条件（如果P，

7、那么Q）必要条件（只有P，才Q）真假判断P真Q假才为假P假Q真才为假矛盾命题P且非Q非P且Q二、推理规则：①充分条件：有P必有Q，无Q必无PPQ（肯定前件）=非Q非P（否定后件）（如果P，那么Q=如果非Q，那么非P）推理规则：肯定前件则肯定后件，否定后件则否定前件否定前件不能否定后件，肯定后件不能肯定前件②必要条件：无P必无Q,有Q必有PPQ=非P非Q（否定前件）=QP（肯定后件）（只有P，才Q=如果非P，那么非Q=如果Q，那么P）推理规则：否定前件则否定后件，肯定后件则肯定前件肯定前件不能肯定后件，否定后件不能否定前件否一推一：除非P，否则Q=如果