本文主要是介绍花生十三 判断推理（三）分析类、推出类，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
分析类
题型
真假分析
定义：孰真孰假的真假话分析，命题真假无法确定，无法利用推出关系解题
解题思路
矛盾法（三种矛盾）：A和非A，“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
- 三角图
推理方式类
- 推理方式判断：完全归纳；不完全归纳
- 推理方式一致：完全一致即可，无须判断对错
- 三段论：一般性原则（大前提），附属于大前提的特殊化陈述（小前提），引申出特殊化陈述符合一般性原则的结论
这篇关于花生十三 判断推理（三）分析类、推出类的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
