导图社区 形式逻辑图
这张思维导图的内容是形式逻辑的几个知识点。包括概念、关系命题、联演选言命题、模态命题、直言命题、假言命题。期待对您有帮助。
编辑于2021-05-25 11:31:04形式逻辑图
关系命题
什么是关系命题
判断对象之间的大小等关系
关系命题的传递性
传递关系
A>B,B>C=A>C
反传递关系
谁是谁的父亲,谁比谁小三岁
非传递关系
喜欢,爱,认识,写信,相邻
关系命题的对称性
对称关系
A对B有,B对A也有
相邻,同学,附近
反对称关系
A对B有,B对A一定没有
是…的父亲,大于…早于…
非对称关系
A对B有,B不一定对A有
喜欢,认识,理解,信任,赞成,帮助,发微信,写信
相乘再相加,需要得出偶数,如果遇到奇数则落单了
联言选言命题
联言命题
判断两种(或以上)事物情况同时存在,用“且”表示,
常用连接词
表并列:和,且,并且,同时,兼得,既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为假,那么AB均真或者AB均假
摩根公式
非(AVB)=非A交非B
非(A交B)=非A V非B
假言命题
什么是假言命题
充分条件假言命题
必要条件假言命题
充要条件假言命题
关于“除非”“否则”
形式逻辑推理规则
逆否规则
传递规则
假言命题的矛盾关系
直言命题
什么是直言命题
判断某物性质的命题
量词(所有,有的)放在句首
不标准的句式要化成标准句式
直言命题的种类
全称肯定,全称否定,特称肯定,特称否定
直言命题的对当关系
矛盾
都—有的不
必然一真一假
都不—有的
上反对
都,都不至少一假
至少一假,不能同真
下反对
有,有的不只少一真
至少一真,不能同假
差等
所有为真,有的为真
模态命题
什么是命题
对于事物情况所有断定的思维形式
什么是模态命题
反映事物情况存在或发展的必然性或可能性的命题
包含“可能”“必然”“一定”等模态词
性质
种类
必然命题
必然,一定,必定
可能命题
可能,也许,大概
可能程度
必然:100%
可能:0~100%
等价转换
不可能=必然不
不必然=可能不
矛盾关系
必然—不必然(可能不)
可能—不可能(必然不)
概念
什么是概念
概念的定义
概念是反应事物的本质属性的思维模式
概念的基本特征
内含
进行描述
外延
进行列举
内涵外延的关系
反变关系
同一个属种序列中,内含越少,外延也大
概念的种类
单独和普遍
实体与属性
实体即有实物对象,属性即无现实概念
集合与非集合
集合
整体才拥有的属性(加上“每一个”意思会变)
非集合
具体指明某个个体;每个个体都有属性(加上“每一个”句意不变)
正与负
概念之间的关系
全同
A=B
真包含
B<A
真包含于
A<B
交叉
A与B有交集
矛盾
必一真一假
二者无交集,合起来是全集
反对
不可同真,可同假
二者无交集,合起来也不是全集
定义与划分
概念界定
定义=被定义项+定义联项+定义项
功能:明确概念内涵
遵循原则
定义项的外延与被定义项的外延相同,不然会犯定义过宽过窄错误
定义项不能直接包含被定义项
定义不可使用模糊词语,不能使用比喻,不可包含负概念
易犯错误
定义过宽过窄
同语反复
循环定义
定义含混
比喻定义