年mba联考逻辑演绎推理基础结构图.xls

Sheet3 直言命题与模态命题推理 演绎推理之复合命题 p q 要么p,要么q 当且仅当p,才q 真 假 真 假 只有在联言支同真时，命题才为真。 不可同真，不可同假，命题才为真。 只在前件真，后件假时命题才为假，这是唯一可削弱命题方式。 只在前件假，后件真时命题才为假，这是唯一可削弱命题方式。 只可同真，同假时命题为真。 “既是..又是、不但..而且、虽然..但是、尽管..然而、一方面..又一方面；” 如果..那么、如果..则、若..则、只要..就、既然..那就； “或者、或” “要么..要么” “当且仅当..才” 性质 联言命题 相容选言命题 不相容选言命题 充分假言命题 必要假言命题 充要假言命题 并非(p或者q)=非p并且非q 并非（如果p,那么q）=p并且非q 推理 有效推理 无效推理 p并且q p或者q 只有在选言支同假时，命题才为假。也就是要保证命题为真，选言支至少有一真。 肯定否定式：（p或者q）为真，若p,则非q;或者q，则非p；---肯定一个并不可否定另一个，可能同真。 1：若（p并且q）为真，则p、q均为真---分解式； 2：若p、q均为真，则（p并且q）为真---组合式。 1：否定肯定式：（p或者q）为真，若非p,则q;或者非q，则p；---否定一个必然可以可定另一个。2：肯定否定式：（p或者q）为真，若p,则非q;或者q，则非p；---肯定一个同时就可以否定另一个。 如果p,那么q 1：否定前件式：（如果p,那么q）为真，若非p，则非q。---无之未必然；2：肯定后件式：（如果p,那么q）为真，若q，则p。 只有p,才q 1：否定前件式：（只有p,才q）为真，若非p，则非q。---无之必然；2：肯定后件式：（只有p,才q）为真，若q，则p。 1：肯定前件式：（如果p,那么q）为真，若p，则q。---有之必然；2：否定后件式：（如果p,那么q）为真，若非q，则非p。 1：肯定前件式：（只有p,才q）为真，若p，则q。---有之未必然；2：否定后件式：（只有p,才q）为真，若非q，则非p。 负命题等值命题 命题等价互换 常见逻辑连接词 并非(p并且q)=非p或者非q 多重复合命题推理 如果p,那么q； 如果q,那么r； 所以 如果p,那么r； 并非（只有p,才q）=非p并且q 只有p,才q 只有q,才r 假言连锁推理 假言易位推理 二难推理 如果非p,那么q； p或者非p 如果p,那么r； 如果q,那么s； 反三段论推理 所谓反三段论推理属于复合命题推理，而不是直言命题的推理形式，尽管它的形式产生与三段论有关。 该推理是说：如果从两个前提推出某个结论，推理形式是有效的，而结论为假，那么就可以断定两个前提中至少有一个是假的。若我们又知道其中一个前提为真的，那么就可以断定另一个前提一定是假的。 如果p并且q,那么r； 非r并且p 所以， 非q 所以 q 所以 r或者s 所以 如果非q,那么非p； 所以 只有p,才r 直言命题结构 主项 谓项 联项 量项 S P 词项 肯定连词 否定连词 全称量词 特称量词 是 不是 所有、一切、每一个 有的、有些、某些、至少有一个 例句 “所有金属都是导电的”；“有的人不是科学家” 金属、人 导电、科学家 全称肯定命题 特称肯定命题 全称否定命题 特称否定命题 所有S都是P S A P S I P S E P S O P 直言命题种类 直言命题的对当关系分类 特称否定命题(O) 特称肯定命题(I) 全称否定命题(E) 全称肯定命题(A) A O I 主项 谓项 周延 不周延 换位推理 所有S不是P 有的S是P 有的S不是P S周延，P不周延 S周延，P周延 S不周延，P不周延 所有S都是P--推出--有的P是S 所有S不是P--推出--所有P不是S 有的S是P--推出--有的P是S 不能换位推理 第一条：一个三段论有并且只能有三个词项。注意同一个字面的词项可能表达的集合概念或范围不一样，而导致“四词项”错误。 第二条：中项在前提中至少要周延一次。 第三条：在前提中不周延的词项，在结论中不得周延。 第四条：两个否定的前提推不出来结论。 第五条：两个前提中有一个是否定的，则结论必须是否定的。 第六条：两个特称的前提推不出来结论。 第七条：如果前提中有一个是特称的，则结论中必须是特称的。 分：必然、可能两大类模态词构成的必然模态命题和可能模态命题。 第一步：变换模态词：必然与不可能互换、可能与不必然互换。 第二步：变换量词：全称量词 与 特称量词 互换。 第三步：变换联词： 肯定联词与否定联词互换。 中国必然要实行改革开发==中国不可能不实行改革开放 今天不必然下雨==今天可能不下雨 今天可能初交通事故==今天不出交通事故并不具有必然性 态度分子的阴谋是不可