一个对象如果不具有某个概念的内涵，那么它一定不属于这个概念的外延