逻辑学复习资料.docVIP

1、逻辑学属于思维科学。逻辑学把思维的形式构造作为特殊研究对象。

思维的形式构造，是思维内容的存在、联络方式，由逻辑常项和逻辑变项构成。

（思维形式构造不体现详细的思维内容，没有真假，但用品体词项或命题，代入思维形式构造中的逻辑变项，这种思维形式构造就被赋予了详细内容，就有了真假。）

2、概念

内涵——概念所反应的对象的本质属性

外延——概念所反应的对象类

集合概念——反应集合体的概念

非集合概念——反应类的概念

3、概念的关系（欧拉图）

⑴、全同关系

SP假如S和P的外延完全重叠，即所有的S都是P并且所有的P都是S，那么，S与P之间的关系就是全同关系。

SP

⑵、种属关系

P假如S的合部外延同P的部分外延相相重叠，即所有的S都是P并且有P不是S，那么S与P之间的关系就是真包括于关系。

P

S

S

⑶、属种关系

S假如S的部分外延同P的所有外延重叠，即所有的P都是S并且有S不是P，那么S与P之间的关系就是真包括关系。

S

P

P

⑷、交叉关系

PS

P

S

⑸、不相容关系

假如S和P的外延没有任何部分重叠，即所有的S都不是P，那么，S与P之间的关系就是不相容关系。

PS

P

S

﹡根据某种语境，不相容有一种确定的属概念，称为论域。根据论域，概念的不相容，分为矛盾和对立两种关系。

①、矛盾关系：S和P不相容，且两者外延之和等于其论域M，如图1。

②、对立关系：S和P不相容，且两者外延之和不不小于其邻近属概念M的外延，如图2。

AQBABMM

AQB

AB

4、定义揭示概念的内涵，即本质属性。

定义的一般形式是：被定义概念=（邻近）属概念+种差

定义的规则：

第一，定义项的概念认知度高于被定义项。违反的称为：晦涩定义

第二，被定义项要恰当归类。

第三，定义项和被定义项的外延必须是全同关系。违反的称为：定义过宽或定义过窄

第四，定义项中不能直接或间接地包括被定义项。违反的成为：循环定义

第五，定义一般是肯定性陈说，但并非不能使用否认性陈说。如，亚健康就是非病非健康状态。

5、划分三要素：母项、子项、划分原则

划分规则：

第一，各子项外延之和必须等于母项。

第二，一次划分必须根据同一原则。

第三，子项的外延必须为不相容关系。

第四，各子项必须是同一层次的概念。

6、限制是通过增长内涵，缩小外延，附属概念得到其种概念的逻辑措施。（限制必须在有属种关系的概念之间进行，单独概念不能限制。）

概括是通过减少内涵，扩大外延，从种概念得到其属概念的逻辑措施。（概括必须在有种属关系的概念之间进行）

7、复合命题（体现判断的语句，称为命题。命题的基本特性是有真假。）

（1）联言命题：p∧q（合取），并且；虽然……不过；既……又；不仅……并且；不仅……也

（2）相容选言命题：p∨q（析取），或者……或者……

（3）不相容选言命题：p∨q（不相容析取），要么……要么……

（4）充足条件假言命题：p→q（蕴涵），假如……就；只要……就；一旦……就；若……则

（5）必要条件假言命题：p←q（逆蕴涵），只有……才；除非……才；不……就不

（6）充要条件假言命题：p?q(等值于),当且仅当……才；假如……那么；并且只有……才

对应真值表：

p

q

p∧q

p∨q

p∨q

p→q

p←q

p?q

真

真

真

真

假

真

真

真

真

假

假

真

真

假

真

假

假

真

假

真

真

真

假

假

假

假

假

假

假

真

真

真

8、负复合命题的等值命题

﹁（p∧q）?（﹁p∨﹁q）

﹁（p∨q）?（﹁p∧﹁q）

﹁（p∨q）?（（p∧q）∨（﹁p∧﹁q））

﹁（p→q）?（p∧﹁q）

﹁（p←q）?（﹁p∧q）

﹁（p?q）?（（p∧﹁q）∨（﹁p∧q））

﹁﹁p?p

9、命题推理的措施

（一）真值表法P55

重言式：命题变项的任意一组赋值都是真（推理有效）

矛盾式：在任意赋值下都假

可真式：至少一组赋值是真的

范式措施P57

先将真值形式中的“?”和“→”完全消去。

用（p∧q）∨(﹁p∧﹁q)置换p?q，用﹁p∨q置换p→q

第二，将“﹁”逐渐内移至命题变项之前，消去双重否认号。

用﹁p∧﹁q置换﹁(p∨q)，用﹁p∨﹁q置换﹁（p∧q），用p置换﹁﹁p

第三，在上述环节的基础上，运用合辨别配律并加以化简就得原真值形式的析取范式；运用析取分派律并加以化简就得原真值形式的合取范式。

分派律：①(p∧(q∨r))?((p∧q)∨