形式邏輯的基本規則之一。其內容為：同一個主體(個人或集體)不能作出互相矛盾(不能同真也不能同假)或互相反對(不能同真但可以同假)的判斷。因其不容許自相矛盾，故亦稱“不{1}”。它從另一方面體現了同一律關于保持判斷同一的要求。它并不否認客觀事物本身的矛盾，也不否認反映這種矛盾的思想上的矛盾。