微信扫一扫
免费快速精准估分

2023MPAcc形式逻辑必备公式汇总,速速收藏!

MPAcchope

2022-08-26 11:45:53

+关注
管理类联考中的逻辑部分主要涉及形式逻辑、论证逻辑、综合推理三种类型

管理类联考中的逻辑部分主要涉及形式逻辑、论证逻辑、综合推理三种类型,其中形式逻辑约占总题量的三分之一左右,这部分题目多以基础为主,要求我们能够熟练、灵活地应用形式逻辑的公式,快速解题。

形式逻辑必备公式汇总:


直言命题
全称肯定命题:所有S都是P
全称否定命题:所有S都不是P
特称肯定命题:有些S是P
特称否定命题:有些S不是P
单称肯定命题:某个S是P
单称否定命题:某个S不是P

直言命题的关系及规则
矛盾关系:必有一真,必有一假
“所有S都是P”与“有些S不是P”
“所有S都不是P”与“有些S是P”

上反对关系:不能同真,可以同假
“所有S都是P”与“所有S都不是P”

下反对关系:可以同真,不能同假
“有些S是P”与“有些S不是P”

从属关系:全称真,则单称真,特称真;特称假,则单称假,全称假
“所有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∧q(p且q)
相容选言命题:p∨q(p或q)
不相容选言命题:p∀q(要么p要么q)
充分条件假言命题:p→q
必要条件假言命题:p←q
充要条件假言命题:p⇌q

假言命题的有效推理形式
充分条件假言命题:肯定前件式 p→q,否定前件式 ¬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、¬q→¬p
必要条件假言命题的等价命题:p∨¬q、¬p→¬q

三段论常用规则
“所有”和“否定”是周延的.
“有的”和“肯定”是不周延的.
三段论规则:
(1)中项在前提中至少周延一次且不得偷换概念。
(2)在前题中不周延的项在结论中也不得周延。
(3)两个否定的前提不能得出结论。
(4)两个前提中如果有一个是否定的,则结论是否定的。如果结论是否定的,则前提中一定有并且有奇数个是否定的。
(5)两个特称的前提推不出结论。如果两个前提中有一个是特称的,则结论必然特称。

两难推理
(1)简单构成式
P→R
Q→R
P∨Q
所以,R

(2)复杂构成式
P→Q
R→S
P∨R
所以,Q∨S
 
(3) 简单破坏式
P→Q
P→R
¬Q∨¬R
所以,¬P
 
(4)复杂破坏式
P→Q
R→S
¬Q∨¬S
所以,¬P∨¬R
 
(5) 归谬法(反证法)
P→Q
P→ ¬Q
所以,¬P



收藏 分享

微信扫一扫

猜你喜欢