导图社区 形式逻辑
管理类考研必看！一图详细总结整理形式逻辑相关知识，包括假言、联言、选言三类复言命题，直言命题、模态命题两类简单命题的定义、关系、负命题等重要知识考点。
包含实数：整除、公倍数与公约数、奇数与偶数；比与比例；绝对值：绝对值的几何意义、绝对三角不等式等内容。
社区模板帮助中心，点此进入>>
项目时间管理6大步骤
项目管理的五个步骤
电商部人员工作结构
暮尚正常运转导图
产品经理如何做好项目管理
车队管理
创业者10条创业经
创业十大思维误区
管培生课程作业
商业模型
形式逻辑
联言命题（S∧P）
识别
且，和，同时，但是，逗号
真假性质
一个联言枝为假，命题为假；两个联言枝都真，命题为真
矛盾命题
德摩根定律
选言命题
相容选言命题（S∨P）
或者，至少
一个选言枝为真，命题为真；两个选言枝都假，命题为假
相容选言命题的三个意思
相容选言命题推理
前不同，后相同
不相容选言命题（S∀P）
要么要么，不是就是，只能有一个
两个选言枝有且只有一个真时，命题为真；两个选言枝同真或同假，命题为假
2∨0（两个联言枝同真或同假）
不相容选言命题的两个意思
不相容选言命题推理
假言命题
假言命题又称条件命题，可以把一句话的定语转成假言命题的前件来处理
假言命题分类
充分条件
有S一定有P，但是没有S不一定没有P
如果S那么P，只要S就P，除非S否则P，S足以P
表达
S→P （箭头前是充分条件，剪箭头后是必要条件）
必要条件
没有P一定没有S，但是有P不一定有S
只有P才S，S必须P，P是S的前提，P是S的基础，没有P就没有S
S→P
除非S否则P的真实含义
充要条件
有S就有P，且无S就无P；充要条件表2∨0，S与P同生共死
S当且仅当P，S是P的唯一原因且唯一前提，S只需要P
S↔P
假言命题知识点策略
刻画式
刻画遇到否定词时，先处理否定词后面的内容，最后处理否定词 否定词在句首时，对全句有否定作用
不同刻画规则的力度
只有才＞如果那么＞除非否则
逆否式
矛盾式
恒真式
前件为假，命题恒真，后件真假不定；后件为真，命题恒真，前件真假不定
假言知识点策略里没有的，一律真假不定
直言命题
基本概念
主项S，谓项P，联项：是，不是
量项
全称
任何，所有，凡是
特称
有的（最多指所有，最少指一个）
单称
某个或者用专有名词称呼
直言命题对当关系图
等差关系
左右两路，上真推下真，下假推上假
上反对关系（A与E）
可以同假，不可同真，必有一假
下反对关系（I与O）
可以同真，不可同假，必有一真
矛盾关系（对角线）
一真一假
对当关系图里没有的，一律真假不定
直言命题推理规则
口诀
全程命题可逆否，换位推理加有的，符号不变位置变
直言三段论推理
基本构成
有的S是M 所有M都是P 有的S是P
基本规则
特称放句首 结论做拆分 中项做桥梁
中项M只出现于前提，不出现在结论
每个词项都出现且仅出现两次
如何质疑论证
直接找结论的矛盾
用已知前提和选项搭桥证明结论的矛盾命题
断桥
模态命题
模态命题对当关系图
上反对关系
下反对关系
否定等值规则
主项和谓项不变，联项、质项、模态词发生变化
所有↔有的
质项
是↔不是
模态词
必然↔可能 （模态词有时不会出现，模态词时不要强加模态词）
且↔或
