若两个不相容概念的外延之和等于其共同属概念的外延，则这两个概念属于矛盾概念