MPA考研邏輯：形式邏輯公式

距離2021年MPA考研初試還有9天時(shí)間。在這最后的沖刺階段，希賽網(wǎng)整理了MPA考研管綜形式邏輯常用公式匯總，內(nèi)容包括直言命題、選言命題、聯(lián)言命題、假言命題、模態(tài)命題、概念間關(guān)系、三段論等7大部分。供大家參考。

形式邏輯常用公式

一、直言命題

1. 直言命題的種類

(1)全稱肯定命題(即所有的S都是P )

例：所有的人都是會(huì)死的。

(2) 全稱否定命題(即所有的S都不是P )

例：所有的人都不是會(huì)死的。

(3) 特稱肯定命題(即有些S是P)

例：有些人是會(huì)死的。

(4) 特稱否定命題(即有些S不是P)

例：有些人不會(huì)死。

(5) 單稱肯定命題(即某個(gè)S是P)

例：亞里士多德會(huì)死。

(6 )單稱否定命題(即某個(gè)S不是P)

例：亞里士多德不會(huì)死。

2. 直言命題之間的關(guān)系

(1) 矛盾關(guān)系：必有一真一假。

即：不可同時(shí)為真，不可同時(shí)為假，一定為一真一假。

直言中的矛盾：

“所有的S都是P”與“有些S不是P”。

“所有的S都不是P”與“有些S是P”。

“某個(gè)S是P”與“某個(gè)S不是P”

(2) 上反對(duì)關(guān)系：至少一假，可以全假。

即：不可能同時(shí)都是真的，但有可能同時(shí)都是假的。所以，如果已知其中的一個(gè)命題為真，則另一個(gè)命題一定為假;如果已知其中的一個(gè)命題為假，則另一個(gè)命題不能確定真假，除非有別的條件加入。

直言中的上反對(duì)：“所有的S都是P”與“所有的S都不是P”。

(3) 下反對(duì)關(guān)系：至少一真，可以全真。

即：下反對(duì)關(guān)系的命題不可能同時(shí)都是假的，至少有一個(gè)是真的。但也有可能同時(shí)都是真的。所以，如果已知其中的一個(gè)命題為真，則另一個(gè)命題不能確定真假;如果其中的一個(gè)命題為假，則另一個(gè)命題一定為真。

直言中的下反對(duì)：“有些S是P”與“有些S不是P”。

(4) 推出關(guān)系：A的存在必然導(dǎo)致B的存在(有A必有B)，則A能推出B。

直言中的推出：

所有是→有些是 所有是→某個(gè)是 某個(gè)是→有些是

所有非→有些非 所有非→某個(gè)非 某個(gè)非→有些非

3. 真假話問(wèn)題

(1)題型特征：題干幾個(gè)人說(shuō)了幾句話或給出幾個(gè)條件，并已知幾真幾假。

(2)解題方法：“一找二繞三回”。

①如果題目中三句話，只有一句真話。先找出矛盾關(guān)系，結(jié)合矛盾命題必然滿足“一真一假”的特性，鎖定這一句真話的位置(找矛盾或反對(duì))

②由于只有一句為真，繞開矛盾，可確定另外一句話為假。(繞開矛盾或反對(duì))

③有已知確定信息，可回矛盾，確定矛盾關(guān)系中的兩個(gè)命題，哪一個(gè)是真哪一個(gè)是假。(回矛盾或反對(duì)確定真假)

4. 拓展公式：并非P = P的矛盾

如：并非所有的牛奶都叫特侖蘇

簡(jiǎn)化：并非所有是 = 所有是的矛盾 = 有些非

……

由于篇幅有限，更多內(nèi)容請(qǐng)下載附件查看。

管理類聯(lián)考 形式邏輯常用公式.pdf