逻辑推理精讲

《逻辑推理精讲》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、逻辑推理讲义复合命题推理一、充分命题推理1.关联词：就；则；如果。。。那么2.符号形式：A—>B（读A则B）3.推理规则：A—>B，A=>B肯前比肯后（最基础模型）A—>B，-B=>-A否后必否前（最基础模型）4.错误推理：只要看到了错误推论，直接排除，不必向下看了a)否定前件——否定前件推不出确定的结论（具有可能性）b)肯定后件——肯定后件推不出确定的结论（具有可能性）二、充分传递推理1.分离传递：A—>B，B—>C=>A—>C下雨——地湿，地湿——路滑推出下雨——路滑2.逆否传递：A—>B，B—>C=>-C—>-A下雨——地湿，地湿——路滑推出–路滑——-下雨三、必要条件命题推理1.关联词

2、：只有。。才。。。；必须。。。才。。；。。。才。。。2.符号形式：B<—A（读B才A）模型（看到“才“就画反向箭头）3.只有B才A=如果A就B四、断定A—>B的关系1.如果A，那么B；2.若A则B（A就B）3.A必须B4.A离不开B5.A是以B为条件的6.B是A的必要条件7.A以B为基础1.B是A必须的基础2.A是指：B一、相容选言推理1.符号形式：AVB（读A或B）2.语义：至少一个成立，也可以都成立。3.推理规则：否定规则（排中律）——排除法（排除一个选中另一个）1)否前肯后：AVB，-A=>B2)否后肯前：AVB，-B=>A4.错误推理：肯定式1)具有相容选言关系的命题，肯定一个或一部分

3、不能推出结论二、摩根定律1.运用情景：只要出现两个的，那么就是摩根定律。2.通俗记忆：开括号的方法，负号一项分配一个，中间变号（或变且，且变或）3.-（A，B）=-AV–B并非A和B都是男生=A不是男生或者B不是男生语义：A、B至少有一个不是男生，也可以都不是。4.-（AVB）=-A,–B并非A是男生或者B是男生=A不是，并且B也不是语义：A和B都不是男生5.例题：小牛上山，且小羊上山，那么大牛上山。现在大牛没上山，可以得到：小牛没上山，或小羊没上山。一、联言命题推理1.记忆方法：逐条并列是特征（并且）题干选项内容同2.注意：就怕你多推多想，联言命题推理基本上就其中一个条件给的是什么，答案就是

4、近义替换。可以大推小，强推弱。但是不能加强、扩大！3.符号形式：A，B，C。。。。读：A并且B并且C。。。。4.语义：A、B、C。。。。都成立才为真，一个不成立就假。5.举例：小张有房子、有汽车、有存款。。。（并列框架）1.全部断定规则：A，B，C=>A，B，C（小张家有房子、有车子、有存款推出刘德华家有房子、有车子、有存款）2.分解断定规则：1)A，B，C=>A2)A，B，C=>B3)A，B，C=>C4)特别注意：A=>A经常考（逻辑公理）一、本节小结发现关联词规则用在先确认前后件快捷有安全前件若充分必须是后件（指充分命题）肯前比肯后否后比否前否前和肯后一个都不选（指推出型）否定遇括号摩根方

5、解壳遇“才”反过来传递紧相连箭头是模型并列是联言（框架结构）联言A推A莫按主观选概念关系与概念推理概念有重复立即找关联关联关系多借助欧拉圈一、约定：圆=所有方=有些二、包含关系语义：猪是动物有的马跳舞错误：动物是猪跳舞是马三、交叉关系交集：男警官反对关系语义：是马，就不是牛例如：北京——中国首都推理：断定是马则否定牛断定是牛则否定马属性：可同假，不可同真错误：不是马就是牛（非黑即白）（A说远方来匹马B说远方来头牛，非马非牛可能就是个老头）一、等价关系（同一）语义：两者相同推理：A=>A六、矛盾关系注：“-”表示否定，读“非”；“/”表示矛盾，读“要么”（或者）马/-马表示两者矛盾1.语义：马/

6、-马2.属性：不能同真，不能同假——两者必有一真一假3.引申：1)简单矛盾命题李是医生/李不是医生2)复合矛盾命题出国，则有发展/出国，但没发展（如果A那么B的矛盾命题A且-B）4.矛盾语句考点一：矛盾双方不兼容可以得到——印第安人一定不下围棋。。。。5.矛盾语句考点二：揪出矛盾双方，断定剩余真假6.矛盾语句考点三：（注意：反驳、质疑类型题的应用）1)简单矛盾：小张是博士/小张不是博士符号形式：A/-A2)复合矛盾：读博士，则赚钱/读博士，但（并且）没赚钱符号形式：A—>B/A,-B（鲁滨逊定理）3)如何应用：两者互为矛盾，可构成最强的反驳或质疑。4)做题技巧：当做矛盾题时，如遇到——甲说“我

7、不是好人”，那么就直接读成“甲不是好人”，这样有助于找到矛盾。一、小结1、概念有重复注意找关联关联关系多借助欧拉圈2、概念不相容划条隔离线两边有团队互相无关联3、条件有矛盾真假在其间矛盾放一旁剩余好分辨直言命题及推理一、直言命题“四句”1.全称肯定命题（A命题）都是男生2.全称否定命题（B命题）都不是男生3.特称肯定命题（I命题）有的是男生4.特称否定命题（O命题）有的不是男生二、逻辑方阵三、直言