导图社区 形式逻辑
形式逻辑、相同概念原则、相同概念才能串联，注意不要偷换概念、箭头使用原则、联言、选言命题、去掉并非，肯定变否定，所有变有的。
社区模板帮助中心，点此进入>>
论语孔子简单思维导图
《傅雷家书》思维导图
《童年》读书笔记
《茶馆》思维导图
《朝花夕拾》篇目思维导图
《昆虫记》思维导图
《安徒生童话》思维导图
《鲁滨逊漂流记》读书笔记
《这样读书就够了》读书笔记
妈妈必读：一张0-1岁孩子认知发展的精确时间表
形式逻辑
假言命题
3种条件关系
充分条件
含义
有它就行
口诀
充分条件前推后
关联词
如果/只要/一旦…就
…就/则/必须/一定…
省略关键词
必要条件
没它不行
必要条件后推前
必不可少放后面
只有/除非…才
…是…的基础/前提
…对于…不可或缺
除非 …… 否则不 ……
充要条件
同生共死
充要条件两头推
当且仅当
…是…的唯一条件
三类特殊句式
简单命题
A是B
A→B
有的A是B
有的A→B
所有A是B
A必须B
除非否则
否一推一
—A→B
除非A，否则B
A，否则B
B，除非A
串联推理：三段论
串联原则
已知：A→B，B→C 可得：A→B→C
相同概念原则
相同概念才能串联，注意不要偷换概念
“有的”串联推理
有的=至少一个，最多所有
交叉关系
种属关系（真子集）
相等关系
互换原则
有的是互换不逆否
有的A是B = 有的B是A
开头原则
有的不能放中间
一串一个有的，有的放开头
A→B→C中，B不能为有的
易错点
有的A不是B ＝ 有的A是-B ＝ 有的-B是A
有的A是B 推不出 有的A不是B
有的数量不定
（1，all）
大部分→有的，有的推不出大部分
大多数A是B ≠ 大多数B是A
箭头使用原则
逆否命题
逆否命题等价于原命题
箭头指向原则
有箭头指向则为真，没箭头可真可假
！注意不能偷换概念
有的互换原则
有的开头原则
联言、选言命题
联言命题(且命题)
AB同时发生
既…又…
…，但是/却…
…和…
并列关系，省略了关键词
知识点
都真才真，一假则假
A且B ↔ -A或-B
A且B√ →
A√B√
A或B√
A且B× →
A√→B×
B√→A×
相容选言命题(或命题)
至少发生一个
或者
至少
二者至少其一
→或互换
永真式永远为真
一真则真，都假才假
A或B ↔ -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和-A
推出关系
所有→某个→有的
上真下必真，对角皆为假
判断真假题画六边形
（矛盾）负命题
并非+性质命题
去掉并非，肯定变否定，所有变有的
肯定、否定是指谓语动词
模态命题
必然发生
P=1
必然不发生
P=0
可能发生
P=（0，1]
可能不发生
P=[0，1）
注意
必然≠事实
去掉并非，肯定变否定，可能变必然
必然→事实→可能
上真下必真，下假上必假
概念
概念与定义
内涵
本质特征
外延
范围集合
定义
对概念（内涵)的表述
包含
被定义项
联项
定义项
遵守规则
定义项不得直接包含被定义项
同义反复
定义项不得间接包含被定义项
循环定义
定义项和被定义项的外延必须完全相等
定义不应包括含混的概念，不能用比喻句
定义含混
定义不应当是否定的
用否定句下定义
概念的种类
集合概念
反映的是一个群体的特征，而不是这个群体里面个体的特征
不可以加 之一，每个
分解谬误
整体有的性质个体不一定有
整体→个体
合成谬误
个体有的性质集体不一定有
个体→整体
以偏概全是用样本推断全体
类概念
类
将事物按照不同的性质划分开来，所形成的小范围叫类
反映的是这个类目里所有对象的共性
可以加 之一，每个
概念之间的关系
全同关系
两个概念的外延完全相同
种属关系
一个概念的外延（种）包含于另一个概念（属）的外延
两个概念在外延上有且只有一部分重合
全异关系
两个概念的外延没有重合
包括
非黑即白
有小三
四种与概念相关的谬误
偷换概念
改变了内涵或外延
自相矛盾
两可：同时肯定双方
模棱两不可
同时否定矛盾双方或下反对双方
误把反对当矛盾
概念的划分
分类过程
规则
标准要统一
划分标准不一致
层级要一致
不当并列
不重：各部分不能有交集
子项相容
不漏：各部分相加要等于原概念，不能比原概念外延小
划分不全
不多：各部分相加要等于原概念，不能比原概念外延大
多出子项
