1、具有这种关系的两个种概念，其内涵互相否定，一个概念以否定另一个概念的内涵作为自身的内涵。具有矛盾关系的两个概念称为“矛盾概念”。
2、指“逻辑方阵”中全称肯定判断和特称否定判断之间，全称否定判断和特称肯定判断之间，单称肯定判断和单称否定判断之间的真假关系。现实肯定判断和现实否定判断之间的真假关系：两个判断不能同真，也不能同假。已知一个判断是真的，则可推知另一个判断必假。
3、假设两个集合a和b，如果所有a不是b，那么a与b具有全异关系。同时a与b的外延之和等于c，那么，a
