2024年MPAcc复试集训

管理类联考【逻辑】必备形式逻辑必备公式汇总

来源: 上海MPAcc 时间: 2021-11-23

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

形式逻辑必备公式汇总

直言命题

全称肯定命题:所有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