一、逻辑的概念

　　逻辑是研究思维的形式及其规律的科学。概念是思维形式最基本的组成单位，是构成命题、推理的要素。

　　（一）概念的逻辑特征

　　概念有两个基本酊逻辑特征：内涵和外延。

　　概念的内涵是指概念所反映的事物的特性或本质；概念的外延是指反映在概念中的一个个、一类类的事物。

　　（二）概念间的关系

　　概念间的关系按其性质来说，可以分为相容关系和不相容关系两大类。

　　1．概念的相容关系

　　（1）同一关系，是指外延完全重合的两个概念之间的关系。

　　（2）从属关系，是指一个概念的外延包含着另一个概念的全部外延，这样两个概念之间的关系。

　　（3）交叉关系，是指外延有且只有一部分重合的两个概念之间的关系。

　　2．概念间的不相容关系

　　（1）矛盾关系，是指这样两个概念之间的关系，即两个概念的外延是互相排斥的，而且这两个概念的外延之和穷尽了它们属概念的全部外延。

　　（2）反对关系，是指这样两个概念之间的关系，即两个概念的外延是互相排斥的，而且这两个概念的外延之和没有穷尽它们属概念的全部外延。

　　（三）定义

　　定义是明确概念内涵的逻辑方法。通过定义，从而明确这个概念所反映的对象的特点和本质。

　　给概念下定义最常用的是属加种差的定义方法，即：被定义的概念=种差+邻近的属。

　　二、性质命题及其直接推理

　　（一）性质命题的类型

　　性质命题是断定对象具有或不具有某种性质的简单判断。性质命题也叫直言命题或直言判断，可分为六种基本类型：

　　（1）全称肯定判断。其逻辑形式是“所有S都是P”。

　　（2）全称否定判断。其逻辑形式是“所有s都不是P”。

　　（3）特称肯定判断。其逻辑形式是“有S是P”

　　（4）特称否定判断。其逻辑形式是“有S不是P”

　　（5）单称肯定判断。其逻辑形式是“某个S是P”。

　　（6）单称否定判断。其逻辑形式是“某个s不是P”。

　　由于单称判断对反映某一单独对象的概念的全部外延作了断定，从逻辑性质上说，单称判断可以看做是全称判断。这样，性质命题就可以归结为以下四种基本形式：

　　（1）全称肯定判断，简称为“A”判断，可写为“SAP”。

　　（2）全称否定判断，简称为“E”判断，可写为“SEP”。

　　（3）特称肯定判断，简称为“I”判断，可写为“SIP”。

　　（4）特称否定判断，简称为“O”判断，可写为“SOP”。

　　（二）对当关系

　　从概念的外延间的关系来说，判断主项“S”的外延与谓项“P”的外延之间的关系，共存在五种情况：全同关系、被包含关系、包含关系、交叉关系和全异关系。