形式逻辑知识点结精华版.pdfVIP

形式逻辑知识点总结(啰嗦版)

直言命题

种类：全称肯定所有的S都是P

全称否定所有的S都不是P

特称肯定有些S是P（至少有一个S是P）

特称否定有些S不是P（至少有一个S不是P）

单称肯定这一个S是P

单称否定这一个S不是P

逻辑方阵图：

所有的S都是P所有的S都不是P

这一

个S这一个S

是P不是P

有些S是P有些S不是P

关系（一真一假），有三组：

“所有”与“有的不”，

“所有不”和“有的是”，

“某个是”和“某个不是”。

关系：

上关系“所有”和“所有不”（至少一假），

下关系“有的”和“有的不”（至少一真）。

1

从属关系：

上真推下真“所有”T“某个”T“有的”T

所有不”T“某个不”T“有的不”T

下假推上假“有的”F“某个”F“所有”F

“有的不”F“某个不”F“所有不”F

模态命题：

模态词（可能、大概、也许、一定、必定、必然)

模态命题“不”字秒杀法

“不”字，可能变一定，一定变可能

有些变所有，所有变有些

肯定变否定，否定变肯定

并且变或者，或者变并且

注意：主语和形容词不能变（比如好的不能变成坏的女多数的人不能

变成少数的人）

模态方阵图

关系：必然和（可能不=不必然）等价关系

可能和（必然不=不可能）

2

结构类似题，做题方法找形式：

例如：

所有的人都会死，是人，所以也会死

转化成：

所有A都是B,C是A，所以C是B.

补充题干题，4招排除法：

1补缺

2有些，要么不出现，要么出现两次；

3否定，要么不出现，要么出现两次；

4

3

联言命题和选言命题

联言命题p∧q

pqp∧q

TTT

TFF

FTF

FFF

联言命题的推理:

（1）、p∧q为1种情况，p真且q真

真

3种情况，P假且q