形式逻辑：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

　　版权声明：本文内容整理自网络，如有侵权请电话联系17800253047。

　　更多院校会计硕士(MPAcc)项目招生信息请戳链接：http://yuanxiao.mpacc.cc/