花生十三 判断推理（三）分析类、推出类

分析类

题型

真假分析

定义：孰真孰假的真假话分析，命题真假无法确定，无法利用推出关系解题

解题思路

矛盾法（三种矛盾）：

1. A 和非 A、A 且 B 和非 A 或非 B、A 或 B 和非 A 且非 B：例如，“今天是晴天” 和 “今天不是晴天” 是 “A 和非 A” 的矛盾；“小明既聪明又努力” 和 “小明不聪明或者不努力” 是 “A 且 B 和非 A 或非 B” 的矛盾；“小李或者喜欢数学或者喜欢语文” 和 “小李既不喜欢数学也不喜欢语文” 是 “A 或 B 和非 A 且非 B” 的矛盾。
2. 所有和有些不、有些和所有不、可能和必然不、必然和可能不：比如，“所有学生都及格了” 和 “有些学生不及格” 是 “所有和有些不” 的矛盾；“有些花是红色的” 和 “所有花都不是红色的” 是 “有些和所有不” 的矛盾；“明天可能下雨” 和 “明天必然不下雨” 是 “可能和必然不” 的矛盾；“这件事必然发生” 和 “这件事可能不发生” 是 “必然和可能不” 的矛盾。
3. A→B 和 A 且非 B：例如，“如果天下雨，那么地就湿” 和 “天下雨了但地没湿” 是这种矛盾关系。

技巧：一“找”矛盾；二“绕”开对立；三“回”检验

假设法（同真同假）

• 所有 / 有些 两个所有，必有一假 两个有些，必有一真
• 可能 / 必然

代入法

两真两假：先找矛盾，再假设

命题的真假

A —> B

• 只有A且非B时，命题为假，其他均为真
• A为假时，则命题必然为真；B为真时，则命题必然为真

要么A要么B

• A真B假时，命题为真；A假B真，命题为真
• AB都真 / 假，命题为假

范畴分析

• 考点：所有，有些，特指相关考察
• 解题思路：一分为二画图法

日常分析

• 定义：给出日常生活中蕴含逻辑的若干条件，考察找到其内在联系并适当推理
• 特征：给出两组及以上对象之间的关系（如：甲乙丙丁）
• 解题思路：代入法；赋值法；最大信息法（出现次数最多的信息开始推）
• 辅助工具：大小比较，借助 “>”、“<”、“等于”；列表画 / 图法

推出类 

逻辑基础知识

一个符号两种条件

• A（充分条件）->B （必要条件）：谁是必要条件谁在箭头后
• 常见词汇：基础，前提，关键，依赖，应当、需要、必不可少等
• 技巧：“A当且仅当B”（互为充分必要条件），即A —>B,B —>A

二命题形式与真假

形式：

• 原命题（A —>B）= 逆否命题 （非A —>非B）
• 否命题 （非A —>非B） = 否命题（B —>A）

A —>B命题真假 （前件为假，命题为真 后件为真，命题为真）

• 只有A且非B的时，命题为假，其他均为真
• 若A为假时，则命题必然为真
• 若B为真时，则命题必然为真

三种推理形式

• 演绎推理：三段论、假言推理、选言推理（一般 —> 特殊）
• 归纳推理：完全归纳推理，不完全归纳推理
• 类比推理：两个事物在其他属性具备相同结论（特殊 —> 特殊）

四种相对关系(有些A是B,有些B是A 有些...不是)

或且关系

• A且B（二者同时成立）—>非A或非B（矛盾关系）
• A或B（二者至少一个成立）—>非A且非B（矛盾关系）

范畴关系 所有 / 有些

可能关系 可能 / 必然

矛盾关系 A与非A 、所有和有些不、A—>B  和 A且非B

五种命题（A推B = 非A或B）

假言命题

前 =>后：如果... 那么；只要...就；所有...都；若...则；

后=>前 （肯前必肯后，否后必否前，否前肯后无必然联系）

• 只有A才B： B —>A (不A不B)
• 除非A否则B：非A  —> B

选言命题

• 或者A或者B：A或B为真时，否一推一（否A—>B）
• 要么A要么B（不相容选言）：A、B只能一真一假，不能同真痛假

题型

等价推出类 （忠于箭头，肯定向右，否定向左）

识别：题干命题，选项命题

涉及知识点：一个符号两种条件；五种命题

考察原则：“逆否”（A  —> B —>C = 非—>C 非B—> 非A） 

• 题干： A  —> B , B —>C 选项：A —>C  传递

关联词

• 如果A那么B： A  —> B
• 只有A才B： B  —> A 、非A —> 非B（不不）
• 除非（必须）A否则B：非A —> B

选项设置

• 正确选项：非C或A出头，且含所有
• 错误选项：C开头或者非A开头（位于箭头终点）；原因类；比较类

区别：与真假分析题不同，只需判断真假即可，无论对错

正推 ：根据推理过程和确定事实，推出结果

逆推：根据推理过程和结果，反推出前提

两难推理

识别：题干命题，选项事实

解题思路。（从A和非A入手）

• A  —> B，非A  —> B，可推出B成立
• A  —> B，A  —> 非B，可推出非A成立

范畴推理（直言命题）

识别：“所有”，“有些”和“特指”的相关考点

解题思路：

• 矛盾关系：所有和有些不；有些和所有不
• 推出关系：有些A是B = 有些B是A 有些...不是
• 三角图

推理方式类

• 推理方式判断：完全归纳；不完全归纳
• 推理方式一致：完全一致即可，无须判断对错
• 三段论：一般性原则（大前提），附属于大前提的特殊化陈述（小前提），引申出特殊化陈述符合一般性原则的结论