导图社区 老吕逻辑
老吕逻辑思维导图,整理了形式逻辑(复言命题、简单命题)、推理逻辑(核心模型秒杀、重要模型秒杀、真假话推理)、论证逻辑(削弱题、支持题、假设题、解释题)的知识。
编辑于2023-07-09 09:37:00老吕逻辑
形式逻辑
复言命题
假言命题
除非否则 1,去除去否,箭头右滑 除非…否则… 2,加非去否,箭头右滑 …,否则… 3,除字去掉,箭头反滑 除非…,…
充分条件
定义
事件A发生时,事件B一定发生。俗称A—>B
常见关联词
如果…那么… 只要…就…;…必须…
指向原则
肯前必肯后,否后必否前
必要条件
定义
当事件A不发生,事件B一定不发生
常见关联词
只有…才…;除非…才…;…是…的基础/前提
肯后必肯前,否前必否后
充要条件
定义
A与B等价
关联词
当且仅当…;…是…的唯一条件
解题思路
模型识别
画箭头
逆否
找答案
联言命题
定义
表明事件A与B都发生 表示为A且B
真假
全真且为真,有假且为假
矛盾命题
非A或非B
选言命题
相容选言命题
定义
事件A与B至少发生一件
真假
有真或为真,全假或为假
矛盾命题
非A且非B
不相容选言命题
定义
事件A与事件B发生且只发生一件
真假
一真一假要么为真,全真全假要么为假
矛盾命题
A真B真或者A假B假
箭头变或者 A推B等价于非A或B 或者变箭头 A或B等价于非A推B/非B推A
简单命题
性质命题
定义
判断事物是否具备某种性质的命题
类型
全称肯定命题
所有的
全称否定命题
所有不
特称肯定命题
特称否定命题
单称肯定命题
单称否定命题
对当关系
真假话模型 至少一真,找下反对关系, 至少一假,找反对关系。
矛盾命题
一真另必假,所有➡️有的不;有的➡️所有不
反对关系
至少一假,一真另必假,一假另不定 所有➡️所有不
下反对关系
至少一真,一假另必真,一真另不定 有的➡️有的不
推理关系
上真下必真,下假上必假,反之则不定
模态命题
陈述事件发生的必然性与可能性
类型
可能0<A<=1 可能不0<=A<1
对当关系
同上
负命题
定义
矛盾命题
性质命题负命题
模态命题负命题
联言选言命题负命题
假言命题负命题
关系命题
定义
事务与事物间的关系
对称性
传递性
概念
概念与定义
概念
反应对象本质属性的思维方式
含义
内涵指概念所反映的事物的本质属性
外延指具有概念的内涵所具有的那些属性的事物的范围
定义
是对概念的描述
构成
定义项;被定义项;联项。
规则
集合概念与类概念
集合概念
类概念
概念间的关系
全同关系
种属关系
交叉关系
全异关系
矛盾关系:A加B=1
反对关系
概念的划分
定义:按照某一标准对概念进行细分
规则
标准统一
层级一致
不重不漏不多
分类模型
二次分类
九宫格
大交大,小交小
三次分类
双九宫格
剩余法
推理逻辑
核心模型秒杀
事实假言模型
识别命题模型
题干由事实和假言命题构成;选项多为事实
秒杀方法
串联法
事实出发法
题干事实加假言,事实出发做串联; 肯前否后别犹豫,重复信息直接联。
假言推假言模型
识别命题模型
题干与选项由假言组成
秒杀方法
题干假言有重复,重复信息做串联; 题干假言无重复,选项直接做排除。
画箭头;串联;逆否;找答案。
选项事实假言模型
识别命题模型
题干由假言组成,选项事实加假言。
秒杀方法
选项事实加假言,假言选项优先选; 选项前项当已知,判断后件的真假。
假言推事实模型
识别命题模型
题干由假言组成,选项均为事实。
秒杀方法
串联找矛盾
若从A推出与已知条件矛盾,则A为假
若从非A出发推出与已知条件矛盾,则A为真
若从A出发推出非A,则A为假
若从非A出发推出A,则A为真
二难推理
进退两难
有一件事,干也难,不干也难。
左右为难
对于某件事,面对两种选择,两种选择都有难度
迎难而上
有一件很难的事,推也得做,进也得做
难以发生
如果事件A发生会推出矛盾,则A不可能发生
难上加难
对某件事,面临两种选择,两种选择都有难度,且需要同时选择。
步骤
找重复元素;找二难推理;推出答案。
前件一正一反,容易出现二难 前件后件一样,后件逆否出二难。
数量关系模型
选人模型
识别命题模型
题干中出现N个人,选M个人。
秒杀方法
矛盾法
数量关系优先算,数量矛盾出答案; 张三来了人太多,李四走了人太少。
二难推理
选项排除
当题干问,可能;可能不;符合,不符合,优先用选项排除
其他数量关系模型
除去选人以外的数量关系
数量假言模型
识别命题模型
题干数量加假言,选项全是事实
秒杀方法
数量关系优先算;假言命题做串联,易出矛盾和二难。
半事实假言模型
识别命题模型
题干半事实加假言,选项全是事实。
秒杀方法
分类讨论
情况A不成立,情况B成立,则情况B推出的结论正确
情况A成立,情况B成立,则情况A,B推出的共同结论正确
情况A推出C,情况B推出D,则正确答案为C或D
转换假言
一一匹配模型
识别命题模型
题干中出现一一对应关系
秒杀方法
常规操作
事实问题优先看,重复元素是关键; 一一匹配做排除,多组匹配可连线。
选项排除
非一一匹配模型
识别命题模型
存在匹配关系,但不是一一匹配
秒杀方法
数量关系优先算,数量矛盾找答案; 如果匹配较复杂,是用表格更简单。
综合运用模型
重要模型秒杀
性质串联模型
不含有的的性质串联模型
识别命题模型
题干出现多个全称命题,且含有重复元素
秒杀方法
符号化;串联;逆否;找答案。
有的串联模型
识别命题模型
题干由特称和全称构成,且含有重复元素。
秒杀方法
符号化;从有的开始串联;逆否;找答案。
双A串联公式应用
所有推有的
所有A是B,推出有的A是B,或者有的B是A。
双A串联
已知,A是B,A是C,
推出有的A是B,等价于有的B是A,串联得,有的B➡️A➡️C
推出有的A是C,等价于有的C是A,串联得,有的C➡️A➡️B
串联矛盾模型
命题模型识别
题干特点
由多个假言命题或性质命题组成,存在重复元素。
提问方式
以下哪项最能削弱/反驳题干?
以下哪项最能说明题干不成立?
若题干为真,则以下哪项必然为假?
以下哪项最不符合题干?
秒杀方法
画箭头,做串联,找矛盾。
肯前否后找矛盾
隐含三段论模型(搭桥拆桥)
找矛盾命题
隐含三段论
命题模型识别
题干特点
由一个或者多个前提和一个结论组成
提问方式
补充以下哪项能使题干成立?
以下哪项是题干推理的假设?
以下哪项最能说明上述结论不成立?
秒杀方法
将题干的前提符号化
多个前提做串联
题干结论符号化
补充前提到结论的箭头,从而得到结论。
反驳三段论
命题模型识别
题干特点
由一个或者多个前提和一个结论组成
提问方式
以下哪项最能反驳题干成立?
以下哪项最能说明上述结论不成立?
秒杀方法
质疑题干结论,质疑题干隐含假设。
方位模型
匹配题 注意方位是桌子旁边坐的人的方位,不是我们的视角方位
排序模型
数独模型
真假话推理
一般真假话模型
秒杀方法
找矛盾
找反对关系,下反对关系
找推理关系
一人多判断模型
假设法
选项排除
子主题
真城假城模型
假设法
论证逻辑
削弱题
支持题
假设题
解释题
命题模型
与一致性相关
拆桥搭桥模型
命题模型
题干中论点与论据的对象,概念,话题不一致
秒杀方法
支持题
搭桥法 说明论点论据的对象,概念,话题一致。
削弱题
拆桥法 说明题干中论点与论据的对象,概念,话题不一致
口诀
对象概念有变化,此题就考拆和搭; 主对主,谓对谓,论据就和论点对。
类比论证模型
命题模型
论据与论点的论证对象不一致,但存在一定的相似性,不完全想同。
秒杀方法
支持题
类比对象,本质上一致或相似。
削弱题
类比对象有差异,影响成立。
口诀
论据A,论点B,此题考点是类比; 支持假设就搭桥,质疑假设就拆桥。
归纳论证模型
模型识别
论据中的论点对象是论点中的论证对象的子集
秒杀方法
支持
样本具有代表性,调查机构中立
削弱
样本没有代表性,调查机构不中立
演绎论证模型
模型识别
论据具有一般性,论点是个别
秒杀方法
与因果关系有关
现象原因模型
削弱
命题模型
摆现象,析原因 前因后果
秒杀方法
因果倒置,因果无关,否因削弱
另有他因,有因无果,无因有果
支持
秒杀方法
因果相关
排除他因,排除因果倒置,无因无果(对照组)
假设
秒杀方法(同支持题)
解释题
题干
给出某一现象,但转折前后出现矛盾或差异
方法
找差异,化解矛盾,找原因
求因果五法模型
求异法
命题模型
两组对比,前后对比
秒杀方法
削弱
拆桥法,论证对象有差异 样本没有代表性 不中立 另有他因 同现象原因模型
支持/假设
与削弱题对应
百分比对比
同比削弱,差比加强
共变法
命题模型
共生现象找因果 共变现象找因果 三组现象找因果
秒杀方法
削弱
因果倒置,存在共因,另有他因 同现象原因模型
支持/假设
排除因果倒置,排除他因, 同现象原因模型
剩余法
命题模型
现象有两个原因,排除A,则证明B 排除所有已知原因,证明另有他因
方法
排除法
求同法
预测结果模型
模型
出现表示对未来结果的断定的词汇
方法
削弱,给出理由,说明预测结果错误 支持,给出理由,说明预测结果正确 假设,指出因果相关或者前提
措施目的
削弱题
措施不可行,达不到目的,弊大于利 有副作用,削弱因果
支持题
可以达到目的,利大于弊,措施有必要 措施可行,没有副作用
假设题
同支持题
与数量关系有关
统计论证模型
收入利润模型
总收入🟰单位利润*总数量 利润=收入-成本 利润率=利润/成本
比率模型
其他模型
平均值,增长率,等