文档介绍：逻辑推理讲义
复合命题推理
一、充分命题推理
关联词：就；则；如果。 。。那么
符号形式： A — >B（读 A 则 B ）
3.
推理规则： A — >B， A=>B 肯前必肯后 （最基础模型）
A —>B ， -B=>-A 否后必否前 （最基础模型）
错误推理： 只要看到了错误推论，直接排除，不必向下看了
a)否定前件——否定前件推不出确定的结论（具有可能性）
b)肯定后件——肯定后件推不出确定的结论（具有可能性）
二、充分传递推理
分离传递： A — >B， B— >C => A —>C
下雨——地湿，地湿——路滑推出 下雨——路滑
2. 逆否传递：
A — >B ， B— >C => -C — >-A 下雨——地湿，地湿——路滑
推出 – 路滑——
-下雨
三、必要条件命题推理
关联词：只有。 。才。。。；必须。。。才。。；。。。才。。。
符号形式： B< — A （读 B 才 A ） 模型 （看到“才“就画反向箭头）
只有 B 才 A= 如果 A 就 B
四、断定 A — >B 的关系
如果 A ，那么 B；
若 A 则 B（ A 就 B）
A 必须 B
A 离不开 B
A 是以 B 为条件的
B 是 A 的必要条件
A 以 B 为基础
B 是 A 必须的基础
A 是指： B
五、相容选言推理
符号形式： A V B （读 A 或 B）
语义：至少一个成立 ，也可以都成立。
推理规则：否定规则（排中律）——排除法（排除一个选中另一个）
否前肯后： A V B ， -A=>B
否后肯前： A V B ， -B=>A
错误推理：肯定式
具有相容选言关系的命题，肯定一个或一部分不能推出结论
六、摩根定律
运用情景：只要出现两个的，那么就是摩根定律。
通俗记忆：开括号的方法，负号一项分配一个，中间变号（或变且，且变或）
-（A ， B） = -A V –B
并非 A 和 B 都是男生 =A 不是男生或者 B 不是男生
语义： A、 B 至少有一个不是男生，也可以都不是。
-（AVB ） = -A , –B
并非 A 是男生或者 B 是男生 =A 不是，并且 B 也不是
语义： A 和 B 都不是男生
例题：小牛上山，且小羊上山，那么大牛上山。现在大牛没上山，可以得到：小牛没上山，或小羊没上山。
一、 联言命题推理
1. 记忆方法：逐条并列是特征（并且） 题干选项内容同
注意：就怕你多推多想，联言命题推理基本上就其中一个条件给的是什么，答案就是近义替换。可以大推小，强推弱。但是不能加强、扩大！
符号形式： A ， B， C。。。。 读： A 并且 B 并且 C。。。。
语义： A、 B、 C。。。。都成立才为真，一个不成立就假。
举例：小张有房子、有汽车、有存款。 。。（并列框架）
全部断定规则： A ， B ，C=>A ， B， C
（小张家有房子、有车子、有存款 推出 刘德华家有房子、有车子、有存款）
分解断定规则：
A ，B ，C=>A
A ，B ，C=>B
A ，B ，C=>C
特别注意： A=>A 经常考（逻辑公理）二、 本节小结
发现关联词 规则用在先确认前后件 快捷有安全
前件若充分 必须是后件（指充分命题）肯前比肯后 否后比否前
否前和肯后 一个都不选（指推出型）否定遇括号 摩根方解壳
遇“才”反过来传递紧相连
箭头是模型 并列是联言（框架结构）
联言 A 推 A 莫按主观选
概念关系与概念推理
概念有重复 立即找关联
关联关系多 借助欧拉圈
一、 约定：圆 =所有 方 =有些
二、 包含关系
语义：猪是动物 有的马跳舞
错误：动物是猪 跳舞是马
三、 交叉关系