逻辑判断基础知识归纳总结
树图思维导图提供 逻辑判断——逻辑基础知识思维导图 在线思维导图免费制作,点击“编辑”按钮,可对 逻辑判断——逻辑基础知识思维导图 进行在线思维导图编辑,本思维导图属于思维导图模板主题,文件编号是:65fd102f2af7ed754ce4051333242e6c
逻辑判断思维导图思维导图模板大纲
命题形式
直言命题
类型
命题
简称
结构式
全称肯定
全肯
所有的S都是P
全称否定
全否
所有的S都不是P
特称肯定
特肯
有的S是P
特称否定
特否
有的S不是P
单称肯定
单肯
某个S是P
单称否定
单否
某个S不是P
推出关系
1.全称肯定推出单称肯定
2.全称否定推出单称否定
3.全称肯定推出特称肯定
4.全称否定推出特称否定
5.单称肯定推出特称肯定
6.单称否定推出特称否定
联言命题
理解
1.结构式: A且B (二者必须同时存在)
2.关联词:和,且,不仅……而是……,虽然……但是……等
3.真假判断:全真则真,一假全假
推出关系
1.A且B→A
2. A且B→B
选言命题
相容选言
1.结构式: A成B
2.理解:至少存在一个(即有三种情况:只有A,只有B, A和DB都有)
3.关联词:或,A和B中至少有一个等
4.真假判断: -真全真,全假则假
5.翻译规则:
(1) A或B: -A→B; -8→A
(2) A、中至少有一个: -A→B; -B→A
(3) A、B中至多有一个: -A或-B
6.推出关系: A→A或B; B→A或B
不相容选言
1.结构式:要么A要么B
2.理解:只能在二者选一个
3.关联词: 或者……或者……,要么……要么……
4.真假判断:一真全真,全假则假,全真亦假
5.翻译规则:要么A要么B: -A→B; A→-B
假言命题
充分条件
1.一般形式
(1)如果A,那么B
(2)只要A,就B
(3)倘若A,则B
(4) A是B的充分条件
(5)有A,一定有B,
(6) 所有的A都是B
2.翻译规则
A→B
必要条件
1.一般形式
(1)只有A,才B
(2)除非A,否则不B
(3) A是B必不可少的前提/假设/基础/条件
(4) A是B的必要条件
2.翻译规则
B→A
矛盾命题
理解
即负命题
例如:“赵刚是个大学生” 的矛盾命题为“赵刚不是一个大学生”
矛盾关系
1.直言命题中的矛盾关系
(1)全称肯定和特称否定
(2)全称否定和特称肯定
(3)单称肯定和单称否定(单称为同-个体)
2.联言命题中的矛盾关系
- (A且B) -A或-B
3.选言命题中的矛盾关系
(1) - (A或B)一-A且-B
(2) - (要么A要么B) =-A且-B或A月B
4.假言命题中的矛盾关系
“A→B"和“A且-B”矛盾
必背公式
所有的A都是B
=
A→B
所有的A都不是B
=
A→-B
没有A是B
=
B→-A
不是A就不是B
=
B→A
A→B
=
-B→-A
A→B.B→C
=
A→C
(全称→单称→特称)思维导图模板大纲
树图思维导图提供 车主充电涉及现场联合测试问题处理流程 在线思维导图免费制作,点击“编辑”按钮,可对 车主充电涉及现场联合测试问题处理流程 进行在线思维导图编辑,本思维导图属于思维导图模板主题,文件编号是:810b6c99a238ed5319242725d7f1cda2
树图思维导图提供 任意角思维脑图 在线思维导图免费制作,点击“编辑”按钮,可对 任意角思维脑图 进行在线思维导图编辑,本思维导图属于思维导图模板主题,文件编号是:2b4c845aa1d8e810d896f7b69a8a6543