导图社区 第二章判断
这是一个关于第二章判断的思维导图,包括:第一节性质判断、第二节模态判断、第三节关系判断、第四节联言选言判断、第五节假言判断。
编辑于2022-10-15 12:49:35 山东省第二章判断
第一节性质判断
一、性质判断的定义和结构
结构
量项➕主项➕联项➕谓项
量项
全称量项
所有,凡,任何一个,每一个,都
特称量项
有些,有的
单称量项
这个,那个
联项
是/不是
二、性质判断种类
六类
单称肯定判断
这个s是p
单称否定判断
这个s不是p
全称肯定判断
所有s是p
全称否定判断
所有s不是p
特称肯定判断
有的s是p
特称否定判断
有的s不是p
三、性质判断对当关系
子主题
矛盾关系
不能同真,不能同假
由一个真,推出另一个假
由一个假,推出另一个真
必有一真,必有一假
包含关系
上真则下真
下假则上假
下真则上不定
上假则下不定
上反对关系
一个真时,另一个为假
一个假时,另一个真假不定
不能同真,可以同假
至少一假
下反对关系
一个真时,另一个不确定
一个假时,另一个为真
不能同假,可以同真
至少一真
第二节模态判断
模态判断
模态词
必然
可能
种类
必然肯定判断
必然p
必然否定判断
必然非p
可能肯定判断
可能p
可能否定判断
可能非p
模态对当关系
矛盾关系
不能同真,不能同假
由一个真,推出另一个假
由一个假,推出另一个真
必有一真,必有一假
包含关系
上真则下真
下假则上假
下真则上不定
上假则下不定
上反对关系
一个真时,另一个为假
一个假时,另一个真假不定
不能同真,可以同假
至少一假
下反对关系
一个真时,另一个不确定
一个假时,另一个为真
不能同假,可以同真
至少一真
否定等值
矛盾关系
必然p与可能不p
必然不p与可能p
第三节关系判断
性质
关系对称性
对称关系
两者互换位置后这种关系仍然成立
同学,朋友,等于,邻居
反对称关系
两者互换位置后这种关系一定不成立
大于,小于,重于,以南,以北
半对称关系
两者互换位置后这种关系可能成立,可能不成立
喜欢,佩服,了解,支持,认识
关系传递性
A和b有某种关系,而且b和c也具有某种关系,那么a和c是否也具有这种关系?
传递关系
有
>,在前,在后,相等,平行
反传递关系
没有
父子,母女,大两岁
半传递性
可能具有,可能不具有
信任,控告,认识,相邻
第四节联言选言判断
联言判断
定义
断定几种事物情况同时存在的复合判断
逻辑结构
P和Q
并且
联结词
和,并且,既又,一边一边,而,却,虽然电视,不但而且
逻辑值
否定等值
乛(P∧Q)=乛PU乛Q
选言判断
相容选言判断
定义
至少有一个存在,且可以同时存在
逻辑结构
选言支
两个或两个以上
联结项
或者
语言表达
P或者Q
复合表达式
PVQ
常用联结词
P和q至少有一个
P或Q
或者p或者Q
也许P,也许Q
可能P,可能q。
不是P,就是q。
P和q至多有一个
逻辑值
否定等值
乛(PUQ)=乛P∧乛Q
不相容选言判断
定义
有一个并且只有一个存在
子主题
结构
P∀Q
常用联结词
要么p,要么q
或者,或者,两者必居其一
或者或者两者不可得兼
两者有且只有一个
两者比择其一
逻辑值
否定等值
乛(P∀ Q)=(P∧Q)U(乛P∧乛Q)
第五节假言判断
定义
断定一事物情况存在是另一事物存在的条件
结构
假言支
条件
联结词
如果,那么
只有才
当且仅当
充分条件
含义
有p一定有q
没有p不一定有q
结构
如果p,那么q
P→q
常用联结词
如果,那么
假如,就
只要,就
倘若 ,则
一旦,则
所有p都是q
有p就有q
如果p,q
P,则q
逻辑性质
P→q为假=P且非q
P→Q=非P或Q
推理规则
肯定p,就要肯定q
否定q,就要否定p
否前不能必然否后
肯后不能必然肯前
必要条件
含义
没有p,一定没有q
有p,不一定有q
结构
只有p,才q
Q→p
把重要的放在箭头的右边
常用联结词
只有p,才q
除非p,才q
P是q的基础
P是q的前提
P是q的保障
P是q必不可少的条件
P是q的先决条件
除非p,否则不q
Q→P
充要条件
含义
有p,一定有Q
没有p,一定没有q
结构
P当且仅当Q
逻辑值
子主题
第二章判断
第一节性质判断
一、性质判断的定义和结构
结构
量项➕主项➕联项➕谓项
量项
全称量项
所有,凡,任何一个,每一个,都
特称量项
有些,有的
单称量项
这个,那个
联项
是/不是
二、性质判断种类
六类
单称肯定判断
这个s是p
单称否定判断
这个s不是p
全称肯定判断
所有s是p
全称否定判断
所有s不是p
特称肯定判断
有的s是p
特称否定判断
有的s不是p
三、性质判断对当关系
子主题
矛盾关系
不能同真,不能同假
由一个真,推出另一个假
由一个假,推出另一个真
必有一真,必有一假
包含关系
上真则下真
下假则上假
下真则上不定
上假则下不定
上反对关系
一个真时,另一个为假
一个假时,另一个真假不定
不能同真,可以同假
至少一假
下反对关系
一个真时,另一个不确定
一个假时,另一个为真
不能同假,可以同真
至少一真
第二节模态判断
模态判断
模态词
必然
可能
种类
必然肯定判断
必然p
必然否定判断
必然非p
可能肯定判断
可能p
可能否定判断
可能非p
模态对当关系
矛盾关系
不能同真,不能同假
由一个真,推出另一个假
由一个假,推出另一个真
必有一真,必有一假
包含关系
上真则下真
下假则上假
下真则上不定
上假则下不定
上反对关系
一个真时,另一个为假
一个假时,另一个真假不定
不能同真,可以同假
至少一假
下反对关系
一个真时,另一个不确定
一个假时,另一个为真
不能同假,可以同真
至少一真
否定等值
矛盾关系
必然p与可能不p
必然不p与可能p
第三节关系判断
性质
关系对称性
对称关系
两者互换位置后这种关系仍然成立
同学,朋友,等于,邻居
反对称关系
两者互换位置后这种关系一定不成立
大于,小于,重于,以南,以北
半对称关系
两者互换位置后这种关系可能成立,可能不成立
喜欢,佩服,了解,支持,认识
关系传递性
A和b有某种关系,而且b和c也具有某种关系,那么a和c是否也具有这种关系?
传递关系
有
>,在前,在后,相等,平行
反传递关系
没有
父子,母女,大两岁
半传递性
可能具有,可能不具有
信任,控告,认识,相邻
第四节联言选言判断
联言判断
定义
断定几种事物情况同时存在的复合判断
逻辑结构
P和Q
并且
联结词
和,并且,既又,一边一边,而,却,虽然电视,不但而且
逻辑值
否定等值
乛(P∧Q)=乛PU乛Q
选言判断
相容选言判断
定义
至少有一个存在,且可以同时存在
逻辑结构
选言支
两个或两个以上
联结项
或者
语言表达
P或者Q
复合表达式
PVQ
常用联结词
P和q至少有一个
P或Q
或者p或者Q
也许P,也许Q
可能P,可能q。
不是P,就是q。
P和q至多有一个
逻辑值
否定等值
乛(PUQ)=乛P∧乛Q
不相容选言判断
定义
有一个并且只有一个存在
子主题
结构
P∀Q
常用联结词
要么p,要么q
或者,或者,两者必居其一
或者或者两者不可得兼
两者有且只有一个
两者比择其一
逻辑值
否定等值
乛(P∀ Q)=(P∧Q)U(乛P∧乛Q)
第五节假言判断
定义
断定一事物情况存在是另一事物存在的条件
结构
假言支
条件
联结词
如果,那么
只有才
当且仅当
充分条件
含义
有p一定有q
没有p不一定有q
结构
如果p,那么q
P→q
常用联结词
如果,那么
假如,就
只要,就
倘若 ,则
一旦,则
所有p都是q
有p就有q
如果p,q
P,则q
逻辑性质
P→q为假=P且非q
P→Q=非P或Q
推理规则
肯定p,就要肯定q
否定q,就要否定p
否前不能必然否后
肯后不能必然肯前
必要条件
含义
没有p,一定没有q
有p,不一定有q
结构
只有p,才q
Q→p
把重要的放在箭头的右边
常用联结词
只有p,才q
除非p,才q
P是q的基础
P是q的前提
P是q的保障
P是q必不可少的条件
P是q的先决条件
除非p,否则不q
Q→P
充要条件
含义
有p,一定有Q
没有p,一定没有q
结构
P当且仅当Q
逻辑值
子主题