导图社区 形式逻辑
管理类考研必看!一图详细总结整理形式逻辑相关知识,包括假言、联言、选言三类复言命题,直言命题、模态命题两类简单命题的定义、关系、负命题等重要知识考点。
编辑于2019-09-18 12:13:08逻辑
形式逻辑
复言命题
假言命题
充分条件 假言命题(A—>B)
口诀1:充分条件前推后
必要条件 假言命题(A<—B)
口诀2:必要条件后推前
充分必要条件 假言命题(A<—>B)
口诀3:充要条件两头推
—A—>B
除非A,否则B
口诀4:除非否则去“除” “否”,箭头直接向右划
A,否则B
口诀5:加“非”去 “否”,箭头右划
B,除非A “口诀六:除”字去掉,箭头反转
“口诀6:除”字去掉,箭头反转
使用箭头 六大原则
逆否原则
A—>B=¬A<— ¬B A<—B=¬A—> ¬B
口诀7:逆否等于原命题
箭头指向原则 口诀八:有箭头指向则为真 没有箭头指向则可真可假
口诀8:有箭头指向则为真 没有箭头指向则可真可假
串联原则
有的互换原则
有的A是B=有的B是A 有的A—>B=有的B—>A
口诀9:有的互换不逆否
有的开头原则
口诀10:一串一有的, 有的放开头
相同概念串联原则
联言、选 言命题
联言命题(A∧B)
联言命题
“却”“但是”=“并且”
既....又;却....;并列关系,省略了关键词 虽然......但是...;.....和.....
联言命题的真假
A B A∧B
√ √ √
√ × ×
× √ ×
× × ×
相容选言命题(A∨B)
相容选言命题
关联词
或者.....或者....
或者....至少
相容宣言命题真假
A B A∨B
√ √ √
√ × √
× √ √
× × ×
不相容选言命题(A∀B)
不相容选言命题
关联词
要么......要么....
或者....或者..二者必居其一
不相容选言命题真假
A B A∀B
√ √ ×
√ × √
× √ √
× × ×
箭头与或者互换
或者变箭头(“∨”变“—>”)
(A∨B)=(¬A—>B)=(¬B—>A)
A—>A∨B
箭头变或者(“—>”变“∨”)
A∨¬A必然为真
(A—>B)=(¬A∨B)
口诀11:箭头变或者,否前或肯后
并且—>或者;要么—>或者
口诀12:并且推或者,要么推或者
A∧B为真,则A∨B为真;A∀B为真,则A∨B为真
A∨B为真,则A∧B为真假不定;A∨B为真,则A∀B为真假不定
德摩根定律
(1)¬(A∧B)=¬A∨¬B
(2)¬(A∨B)=¬A∧¬B
(3)¬(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
¬(A<—B)=¬A∧B
¬(A<—>B)=(A∧¬B)∀(¬A∧B)
口诀13:箭头的负命题为:肯前且否后
简单命题
直言命题
概念
称性质命题,用来判断事物具有或者不具有某种性质。
结构
主语:直言命题的判断对象
谓语:指判断对象所具有或不具有的性质
量词:数量词,常用“所有”、“有的”表示
特殊句式
全称命题:所有,修饰主语,不修饰宾语
特称命题:有的,修饰主语,不修饰宾语
对当关系图
所有 反对(可同假不同真) 所有不
某个 某个不
有的 下反对(可同真不同假) 有的不
关系分为四类: 矛盾、反对、下反对、推理
矛盾关系
所有 与 有的不
所有不 与 有的是
某个是 与 某的不是
均为矛盾关系,二者必有一真一假
反对关系
口诀14:两个所有,至少一假;一真另必假,一假另不定
下反对关系
口诀15:两个有的,至少一真;一假另必真,一真另不定
推理关系
所有——>某个——>有的
箭头指向原则:有箭头指向则为真,无可真可假
逆否原则:有的(为假)——>某个(为假)——>所有(为假)
所有不——>某个不——>有的不
箭头指向原则:有箭头指向则为真,无可真可假
逆否原则:有的不(为假)—>某个不(为假)—>所有不(为假)
口诀16:上真下必真,上假下不定;下假上必假,下真上不定
负命题
并非所有=有的不
并非所有不=有的
并非有的=所有不
并非有的不=所有
口诀17:肯定变否定,否定变肯定,所有变有的,有的变所有
模态命题
概念:陈述事情发生的必然性和可能性命题
对当关系图
必然 反对(可同假不同真) 必然不
事实是 事实不是
可能 下反对(可同真不同假) 可能不
矛盾关系
必然 可能不
必然不 可能是
事实是 事实不是
均为矛盾关系,二者必有一真一假
反对关系
口诀18:两个必然,至少一假;一真另必假,一假另不定
下反对关系
口诀19:两个可能,至少一真;一假另必真,一真另不定
推理关系
必然——>事实——>可能
箭头指向原则:有箭头指向则为真,无可真可假
逆否原则:可能(为假)——>事实(为假)——>必然(为假)
必然不——>事实不——>可能不
箭头指向原则:有箭头指向则为真,无可真可假
逆否原则:可能不(为假)—>事实不(为假)—>必然不(为假)
口诀20:上真下必真,上假下不定;下假上必假,下真上不定
负命题
不可能=必然不
不可能不=必然
不必然=可能不
不必然不=可能
口诀21:肯定变否定,否定变肯定,必然变可能,可能变必然
概念
定义
内涵:内涵是指概念所反映的事物的本质属性。
外延:外延是指概念的内涵所具有的那些属性事物的范围。
关系
全同关系:外延完全相同
种属关系:从属关系或者包含关系
交叉关系:两个概念在外延上有并且只有一部分是重合的
全异关系:没有重合,包括:矛盾关系和反对关系
划分
每次划分只能根据一个标准
各子类外延之和与原概念的外延相同
各子类的外延应是全异关系
同一律
概念的含义必须是确定
在同一思维过程中,每个概念的前后应当保持一致。
违反了同一律,就是概念模糊或偷换概念