形式逻辑知识.是给概念下定义的一种方式.

　　下定义是通过列出一个事物或者一个物件的基本属性来描写或者规范一个词或者一个概念的意义.被定义的事物或者物件叫做被定义项,其定义叫做定义项.

　　比如给“单身汉”这个概念下定义我们可以这样下：

　　“单身汉就是未婚男子”

　　这个定义中“单身汉”是被定义项（被定义者）,“未婚”是“男子”中区别于一般男子的特点即种差.“男子”是指所有的男子,即“未婚男子”这个概念临近的属概念.

　　单身汉（被定义者）=未婚（种差）+男子（临近的属概念）