MPAcc形式逻辑必备公式汇总
形式逻辑
管理类联考中的逻辑部分主要涉及形式逻辑、论证逻辑、综合推理三种类型，其中形式逻辑约占总题量的三分之一左右，这部分题目多以基础为主，要求我们能够熟练、灵活地应用形式逻辑的公式，快速解题。
形式逻辑必备公式汇总：
直言命题
全称肯定命题：所有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