导图社区 形式逻辑
24管理类联考-逻辑精点-形式逻辑-思维导图（包含知识点及公式），分为简单判断、复合判断，一起来看。
逻辑精点基础篇-分析推理-知识点框架整理， 解题思想一有无确定信息、解题思想二图示分析、解题思想三数字分析，欢迎交流。
社区模板帮助中心，点此进入>>
英语词性
法理
刑法总则
【华政插班生】文学常识-先秦
【华政插班生】文学常识-秦汉
文学常识：魏晋南北朝
【华政插班生】文学常识-隋唐五代
【华政插班生】文学常识-两宋
民法分论
日语高考動詞の活用
形式逻辑
简单判断
直言判断
直言判断的标准形式
标准形式
全称：所有S都（不）是P
特称：有的S（不）是P
单称：这个S（不）是P
非标准形式
没有S不是P——所有S都是P
没有S是P——所有S都不是P
S不都是P——有的S不是P
S不都不是P——有的S是P
直言判断的对当方阵
矛盾关系
必一真一假
上反对关系
至少有一假
下反对关系
至少有一真
包含关系
上真（假）推下真（假），下真（假）上不确定
直言判断的换位推理
全称：只可逆否，不可换位
S®P=`P®`S
S®`P=P®`S
特称：只可换位不可逆否
有的SÞP=有的PÞS
有的SÞ`P=有的`PÞS
全称为真时特称为真
S®P
有的SÞP
有的PÞS
特称为真，若不构成矛盾关系，则无法判断全称情况
直言判断的综合推理
A®B;B®C
A®C
A®B;有的CÞA
有的CÞB
A®B;有的CÞ`B
有的CÞ`A
A®B;B®C。有的DÞA
有的DÞAÞBÞC
A®B;B®C。有的DÞ`C
有的DÞ`CÞ`BÞ`A
模态判断
必然P
必然不P
可能P
可能不P
模态判断的对当方阵
模态判断的等价变形
不可能=必然不=一定不
不必然=可能不=不一定=未必
关系判断
对称性关系
对称关系：双向
反对称关系：单向
半对称关系：双向或单向
传递性关系
传递关系
反传递关系
半传递关系
复合判断
联言判断
定义：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；P一定Q
判断规则
充分条件有它一定行，没它不知道
充分条件前推后，谁充分谁在箭头前
必要条件
定义：一个条件不发生，另一个条件一定不发生
标准式：只有Q才P；Q®P
常见标志词：只有Q才P；没有Q,没有P；不Q,不P；必须Q,才P；除非Q,才P；Q是P的前提；Q是P的基础;Q是P的先决条件
必要条件没有它一定不行，有它不知道
必要条件后推前，谁必要谁在箭头后
特殊标志词“否则”
否前则后：`P®Q=`Q®P
“除非”看作炮灰词
若有其他假言标志词出现，以其他假言标志词为准
充要条件
有此条件必有此结果，无此条件必无此结果
标准式：只要并且只有P才Q；P=Q
常见标志词：P当且仅当Q；P是Q的唯一前提
假言判断的推理规则
逆否规则：肯前推肯后，否后推否前，其余推理均不确定
传递性规则：单箭头，找重复，重复项一左一右可串联
假言判断的矛盾与等价
矛盾
充分/必要条件
P®Q的矛盾判断是PÙ`Q
Ø(P®QÙQ®P)=Ø（P®Q）ÚØ（Q®P）=（PÙ`Q）Ú（QÙ`P）
等价
P®Q的等价判断是`PÚQ
Ø[(PÙ`Q)Ú(QÙ`P)]=Ø（PÙ`Q）ÙØ（QÙ`P）=（`PÚQ）Ú（`QÚP）
负判断
直言判断的负判断
并非所有S都是P=有的S不是P
并非所有S都不是P=有的S是P
并非有的S是P=所有S都不是P
并非有的S不是P=所有S都是P
联言判断与选言判断的负判断
并非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)Ú(`PÙQ)
