或谓之牛,或谓之非牛,是争彼也,是不俱当^①。(《经说上》)
        【注释】　①当:恰当、正确。
        【译文】　有人说那是牛,有人说那不是牛,(如果)是针对同一对象的断定,那么这两个判断不能都正确。
        【评说】　这里说到了形式逻辑的矛盾律。如果对象是狗,而断定其是牛,就是不正确的,断定其不是牛则是正确的。显然,“这个动物是牛”和“这个动物不是牛”之间的关系是矛盾关系。两个是非相矛盾的论题,不可能都正确,其中必有一个不正确,这反映了矛盾律的逻辑要求。