考研逻辑公式

一、命题及其否命题（矛盾命题）

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、语言形式（P-Q）:"假如P那么Q""只要P,就Q""若P必Q""P,则

Q"

2、性质：

假如充足条件命题"P-Q"为真，则：

（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)并非(P-Q)=P且非Q

三、必要条件(只有p,才Q)假言命题

1、语言形式(P-Q):"只有P,才Q""假如Q,则P""不P,不Q""没有P,

没有Q"P是Q的前提(必不可少的条件)

2、性质：

P-Q为真:

(1)有P未必有Q

(2)无P必无Q

(3)有Q必有P

(4)无Q未必有P

3、公式

(1)”只有P,才Q"="假如Q，则P"

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

四、联言命题

1、语言形式："不仅P,并且Q","虽然P,不过Q"〃既P,又Q""一边P,

TfiQ"

2、性质：一真及真、T服及假

3、公式:

(1)并非"P且Q"="非P或非Q"

(2)并非叩或Q"="非P且非Q"

五、选言命题

1、语言形式:

(1)相容：或者P,或者Q,命题为真，至少一种为真

(2)不相容：要么P,要么Q,不是P,就是Q。只有一种为真，命题为真

2、公式：

(1)P或Q假如非P,则Q

（2）并非"P或Q"制”且非Q

六、三段论（大前提、小前提、结论）

1、规贝I」：大前提——小前提——结论（可以用柏拉图）

例题：我是台湾人，但同步我也是中国人。因此，台湾人都是中国人。

如下哪项最能类比阐明上述推理不成立？

A.姜坤是相声演员。姜坤是曲艺演员。因此，相声演员都是曲艺演员。

B.鲁迅是文学家。鲁迅是绍兴人。因此，绍兴人都是文学家。

C.商品均有使用价值。太阳光不是商品。因此，太阳光没有使用价值。

D.爱迪生是科学家。爱迪生没有大学文凭。因此，没有大学文凭的人有也许成为科学

家。

E.班干部参与了奥运志愿服务，小赵也参与了奥运志愿服务，因此，小赵是班干部。

解析：

题干的构造：M是S,M是P,S都是P

A选项的逻辑构造跟题干是同样的，不过不能阐明推理不成立

B选项的逻辑构造跟题干同样，B选项推出的结论是错误的，能阐明题干的推理是错

误的。

选B。

例题：没有脊索动物是导管动物，所有的翼龙都是导管动物，因此，没有翼龙属于类

人猿家族。

如下哪项陈说是上述推理所必须假设的？

A.所有类人猿都是导管动物。

B所有类人猿都是脊索动物。

C.没有类人猿是脊索动物。

D.没有脊索动物是翼龙。

E.没有类人猿是导管动物。

解析：只需要把出现一次的关键词建立联络，即可得出答案，本题需要找的是脊索动

物和类人猿家族建立联络。排除A、D、E.三段论中的否

定要么没有，要么只能出现两次，已经在题干中出现了两次，因此不能再出现否认，

C选项排除。选B

七、模态命题(指断定事物也许性或必然性的判断)

1、必然P;必然不P;也许P;也许不P;

(1)反对关系："必然P"与"必然非P"，不能同真，但有也许同假。

(2)下反对关系："也许P"和〃也许非P"也许同真，但不也许同假。

(3)矛盾关系：

a."必然P"与"也许非P"的关系为矛盾关系；

b."也许P"与"必然非P〃的关系也为矛盾关系。

不能同真，不能同假。

(4)差等关系:

a."必然P"与"也许P"

当"必然P"为真，则"也许P"必真；当"也许P"为假，则"必然P"必假。

b."必然非P"与"也许非P":

当"必然非p"为真，则〃也许非P"必真；当"也许非p"为假，则"必然非p"必

假。

2、在试题中，基本的问题多为：〃哪句话意思最靠近上文意思？”或者〃如下哪项最

能支持（最能质疑）上述论断〃等。必然也许所有有些是不是

如下为比较常用的等值公式：

“并非必然P"等值于〃也许非P"

“并非必然非P"等值于"也许P"

“并非也许P"等值于"必然非P"

“并非也许非P"等值于"必然P"

“并非所有的S都是P”等值于〃有些S不是p〃

"并非有些S是P"寄直于"所有S都不是P"

八、性质命题

1、种类:

(1)所有肯定命题(SAP。S、P表达主项，A表达所有肯定)。所有S都是P

(2)所有否认命题(SEP)。所有S不是P

(3)部分肯定命题(SIP)有些S是P

(4)部分否认命题(SOP)有些S不是P

(5)单称肯定命题。这个S是P

(6)单称否认命题。这个S不是P

2、关系

(1)矛盾关系：真假完全相反。SAP与