或謂之牛，或謂之非牛，是爭(zhēng)彼也，是不俱當(dāng)^①。(《經(jīng)說上》)
【注釋】?、佼?dāng)：恰當(dāng)、正確。
【譯文】　有人說那是牛，有人說那不是牛，(如果)是針對(duì)同一對(duì)象的斷定，那么這兩個(gè)判斷不能都正確。
【評(píng)說】　這里說到了形式邏輯的矛盾律。如果對(duì)象是狗，而斷定其是牛，就是不正確的，斷定其不是牛則是正確的。顯然，“這個(gè)動(dòng)物是?！焙汀斑@個(gè)動(dòng)物不是?！敝g的關(guān)系是矛盾關(guān)系。兩個(gè)是非相矛盾的論題，不可能都正確，其中必有一個(gè)不正確，這反映了矛盾律的邏輯要求。