考研邏輯公式

一、命題及其否命題（沖突命題）

1、并非“全部S都是P”=有些S不是P

2、并非“全部S都不是P”=有些S是P

3、并非“P且Q”=非P或非P

4、并非“P或Q”=非P且非Q

5、并非“要么P要么Q"="P且Q”或“非P且非Q”

6、并非“假如P,則Q”=P且非Q

7、并非“只有P,才Q”=非P且Q

二、充分條件（P,則Q）假言命題

1、語言形式（PTQ）：“假如P那么Q”“只要P,就Q”“若P必Q”“P,則Q”

2、性質(zhì)：

假如充分條件命題“PTQ”為真，則：

（1）確定P必確定Q（P真，則Q為真）

（2）否定P,未必否定Q（P假，則Q不肯定假）

（3）確定Q,未必確定P（Q真，則P不肯定真）

（4）否定Q,必否定P（Q假，則P為假）

3、公式：

（1）“假如P,那么Q”="非P或P”

（2）并非（PTQ）=P且非Q

三、必要條件（只有P,才Q）假言命題

1、語言形式（P—Q）：“只有P,才Q”“假如Q,則P”“不P,不Q”“沒有P,沒

有Q”P是Q的前提(必不行少的條件)

2、性質(zhì)：

P-Q為真：

(1)有P未必有Q

(2)無P必?zé)oQ

(3)有Q必有P

(4)無Q未必有P

3、公式

(1)“只有P,才Q”="假如Q,貝UP”

(2)并非“只有P,才Q”="并非P且Q”

四、聯(lián)言命題

1、語言形式：”不僅P,而且Q”，“雖然P,但是Q”“既P,又Q”“一邊P,一邊

Q”

2、性質(zhì)：一真及真、一假及假

3、公式：

(D并非“P且Q”="非P或非Q”

(2)并非“P或Q”="非P且非Q”

五'選言命題

1、語言形式：

(1)相容：或者P,或者Q,命題為真，至少一個為真

(2)不相容：要么P,要么Q,不是P,就是Q。只有一個為真，命題為真

2、公式：

(1)P或Q=假如非P,則Q

(2)并非“P或Q”=非P且非Q

六、三段論(大前提、小前提、結(jié)論)

1、規(guī)章：大前提一一小前提一一結(jié)論(可以用柏拉圖)

例題：我是臺灣人，但同時我也是中國人。因此，臺灣人都是中國人。

以下哪項最能類比說明上述推理不成立？

A.姜坤是相聲演員。姜坤是曲藝演員。因此，相聲演員都是曲藝演員。

B.魯迅是文學(xué)家。魯迅是紹興人。因此，紹興人都是文學(xué)家。

C.商品都有使用價值。太陽光不是商品。因此，太陽光沒有使用價值。

D.愛迪生是科學(xué)家。愛迪生沒有高校文憑。因此，沒有高校文憑的人有可能成為科學(xué)家。

E.班干部參與了奧運志愿服務(wù)，小趙也參與了奧運志愿服務(wù)，所以，小趙是班干部。

解析：

題干的結(jié)構(gòu)：M是S,M是P,S都是P

A選項的規(guī)律結(jié)構(gòu)跟題干是一樣的，但是不能說明推理不成立

B選項的規(guī)律結(jié)構(gòu)跟題干一樣，B選項推出的結(jié)論是錯誤的，能說明題干的推理是錯誤

的。

選B。

例題：沒有脊索動物是導(dǎo)管動物，全部的翼龍都是導(dǎo)管動物，所以，沒有翼龍屬于類

人猿家族。

以下哪項陳述是上述推理所必需假設(shè)的？

A.全部類人猿都是導(dǎo)管動物。

B.全部類人猿都是脊索動物。

C.沒有類人猿是脊索動物。

D.沒有脊索動物是翼龍。

E.沒有類人猿是導(dǎo)管動物。

解析：只需要把消滅一次的關(guān)鍵詞建立聯(lián)系，即可得出答案，本題需要找的是脊索動物

和類人猿家族建立聯(lián)系。排解A、D、E.三段論中的否

定要么沒有，要么只能消滅兩次，已經(jīng)在題干中消滅了兩次，所以不能再消滅否定，C

選項排解。選B

七、模態(tài)命題（指斷定事物可能性或必定性的推斷）

1、必定p；必定不p；可能p；可能不p；

（1）反對關(guān)系：“必定P”與“必定非P"，不能同真，但有可能同假。

（2）下反對關(guān)系：“可能P”和“可能非P”可能同真，但不行能同假。

（3）沖突關(guān)系：

a.“必定P”與“可能非P”的關(guān)系為沖突關(guān)系；

b.“可能P”與“必定非P”的關(guān)系也為沖突關(guān)系。

不能同真，不能同假。

（4）差等關(guān)系：

a.“必定P”與“可能P”：

當(dāng)“必定P”為真，則“可能P”必真；當(dāng)“可能P"為假，則‘'必定P"必假。

b.“必定非P”與“可能非P”：

當(dāng)“必定非p"為真,則“可能非p"必真；當(dāng)“可能非p"為假，則“必定非p"必假。

2、在試題中，基本的問題多為：“哪句話意思最接近上文意思？”或者“以下哪項最

能支持（最能質(zhì)疑）上述論斷”等。必定可能全部有些是不是

以下為比較常用的等值公式:

“并非必定P"等值于“可能非P"

“并非必定非P”等值于“可能P”

“并非可能P”等值于“必定非P”

“并非可能非P”等值于“必定P”

“并非全部的S都是P”等值于“有些S不是P”

“并非有些S是P”等值于“全部S都不是P”

八'性質(zhì)命題

1、種類:

(1)全部確定命題(SAP。S、P表示主項，A表示全部確定)。全部S都是P

(2)全部否定命題(SEP)全部$不是P

(3)部分確定命題(SIP)有些S是P

(4)部分否定命題(SOP)有些S不是P

(5)單稱確定命題。這個S是P

(6)單稱否定命題。這個S不是P

2、關(guān)系

(1)沖突關(guān)系：真假完全相反。SAP與SOP；SE