导图社区 管综形式逻辑思维导图
这是一篇关于管综形式逻辑思维导图的思维导图. 逻辑这个科目,大多数考生在考试之前都没有接触过,在刚开始接触这门学科的时候,这种陌生感可能会让人有些抵触。
社区模板帮助中心，点此进入>>
论语孔子简单思维导图
《傅雷家书》思维导图
《童年》读书笔记
《茶馆》思维导图
《朝花夕拾》篇目思维导图
《昆虫记》思维导图
《安徒生童话》思维导图
《鲁滨逊漂流记》读书笔记
《这样读书就够了》读书笔记
妈妈必读：一张0-1岁孩子认知发展的精确时间表
形式逻辑
简单判断推理
直言判断
标准形式
全称肯定判断：所有S都是P
全称否定判断：所有S都不是P
特称肯定判断：有的S是P
有的含义：（1）0<有的<=所有;所有是有的的子集（2）至少有一个（3）有的不表示数量多少
特称否定判断：有的S不是P
单称肯定判断：这个S是P
这个的关系：所有→这个，这个→？所有；有的→？这个，这个→有的
单称否定判断：这个S不是P
非标准形式
没有（一个）S不是P=所有S都是P
没有S是P=所有S都不是P
S不都是P=有的S不是P
S不都不是P=有的S是P
对当方阵
矛盾关系：必一真一假（1和2两种关系）
上反对关系：至少有一假（3）
下反对关系：至少有一真（4）
包含关系：上真推下真，下假推上假（5和6）
换位规制
所有（单箭头）：可逆否，不可换位
有的（双箭头）：可换位，不可逆否
综合推理常见结构
有的后全为双箭头
前提：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
模态判断
等价变形
不可能=必然不=一定不
不必然=可能不=不一定=未必
关系判断
对称性
对称关系（甲对乙有的关系，乙对甲也有）：邻居、相等、同学、同乡等
反对称关系（甲对乙有的关系，乙对甲没有）：大于、高于、早于、包含、剥削、压迫等
半对称关系（甲对乙有的关系，乙对甲不必然有）：认识、理解、爱慕、喜欢、佩服、想念等
传递性
传递、反传递、半传递（与对称性一个道理）
复合判断推理
联言判断
标志词：1.并且; 2.和; 3.兼得; 4.既。。又。。; 5.而 ;6.但 ;7.虽然。。但是。。 ;8.不但。。而且。。
判断规则
肢→干：全真方真，一假则假
干→肢：真则全真，假则最少一假
矛盾
否P或否Q：至少有一个不发生
选言判断
相容选言判断
标志词：1.或者。。或者。。 ;2.可能。。也可能。。; 3.也许。。也许。。 ;4.不是。。就是。。 ;5.至少有一个
肢→干：全假方假，一真则真
干→肢；假则全假，真则至少一真
否定必肯定，肯定不确定
否P且否Q：都不发生
不相容选言判断
标志词：1.要么。。要么 ;2.。。二者必居其一; 3.。。择一。。
肢→干：一真一假方为真，同真同假则为假
干→肢：真则只有一真，谁真不知
否定必肯定，肯定必否定
P且Q或否P且否Q：都发生或都不发生
假言判断
肯前推肯后，否后推否前，其余推理不确定
充分条件
标志词：：1.如果P，那么Q；2.只要P，就Q；3.所有P都是Q；4.若P，则Q；5.一P，就Q；6.P是Q；7.P一定Q
充分条件有它一定行，没它不知道
充分条件前推后，谁充分谁在箭头前
必要条件
标志词：1.只有Q，才P；2.没有Q，没有P；3.不Q，不P；4.必须Q，才P；5.除非Q，才P；6.Q是P的前提；7.Q是P的基础；8.Q是P的先决条件
必要条件没有它一定不行，有它不知道
必要条件后推前，谁必要谁在箭头后
除非 和否则
除非是炮灰词
除非Q，才P=P→Q
除非Q，否则P=否Q→P=否P→Q
除非Q，否则不P=否Q→否P=P→Q
P除非Q=否P→Q
充要条件（充分条件作相等）
标志词：1.P当且仅当Q；2.P是Q的唯一前提
矛盾判断与等价判断
P→Q与P且否Q互为矛盾；P→Q与否P或Q互为等价
负判断：凡是“不”字否定的位置全变对立面，双重否定变肯定
结构相似
推理结构一致、论证方法一致、谬误一致
