形式逻辑思维导图
2021-05-03 11:25:19 0 举报
AI智能生成
管理类联考的形式逻辑知识点整理
作者其他创作
大纲/内容
形式逻辑
简单判断推理
简单推理(单个前提)
s、p位置相同
使用对当矩阵
矛盾关系:必有一真一假
上反对关系:至少有一假
下反对关系:至少有一真
s、p位置互换
使用换位推理
所有S都是P(S→P):能逆否,不能换位,可以推“有的”
有的S是P(S=>P):能换位,不能逆否
负判断(直言+模态)
等价变形
凡是“不”字否定的位置全变成对立面注意:双重否定表肯定
综合推理(多个前提)
已知前提+前提
推结论
让前提中重复的概念首尾相连
从”有的“出发
两个”有的“什么也推不出
一直前提+结论
补前提
前提和结论中重复的词左对齐,补”上→下“
复合推理判断
联言判断(P^Q)
推理
干 → 肢
干为真, 肢就都为真
肢 → 干
肢都为真,干就为真
肢有一假,干就为假
矛盾
P^Q 与 ┐P∨┐Q 矛盾
等价
P^Q = Q^P (考的很少)
相容选言判断(P∨Q)
干 → 肢
干为真时, 肢至少有一个为真,但是不知道是哪个
肢 → 干
肢有一真,干就为真
肢都为假,干就为假
P ∨ Q 与 ┐P ^┐Q矛盾
P∨Q=Q∨P (考的很少)
P∨Q= ┐P→Q= ┐Q →P (一否定,另一必肯定)
P∨Q , P → ? (一肯定,另一不确定)
不相容判断(要么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
综合推理
递推关系
两难推理
假言三段论
推与或变形
结构相似
推理结构一致
论证方法一致
谬误一致
0 条评论
回复 删除
下一页