从属关系:表示依存、附属。在层次结构中,下层概念形成了上层概念的组成部分。

第一种:如果全称命题为真,那么特称命题一定为真

第二种:如果特称命题为假,那么全称命题一定为假。

在两个句子中,从属关系表示两句之间的主从关系,也就是两个句子由从属连词连接起来构成主从复合句,其中一个叫主句,一个叫从句。

定义:

差等关系是指A命题与I命题、E命题与O命题之间的关系。由于A命题与I命题、E命题与O命题之间的区别仅在于一个是全称命题,一个是特称命题,因此又可把差等关系看为全称命题和特称命题之间的关系。

例如:这批产品都是合格的。这批产品有的是合格的。

“有的产品”已包含在“所有的产品”之中,既然所有的产品都具有合格的性质,那么,其中的某些产品当然也就具有合格的性质。这里需要说明的是,逻辑上的特称量词的用法与自然语言中的用法略有区别,“有的S是P”,并不包含有的S不是P的意思,因此与“所有的S都是P”是相容的。

我们以E命题和O命题为例对第二种关系作出说明,A和I命题的关系与此相同。既然O命题“有的S不是P”为假,根据矛盾关系,A命题“所有的S都是P”就一定为真又根据反对关系,A命题为真,则E命题即“所有的S都不是P”一定为假。