不矛盾律是什麼

形式邏輯的基本規律之一

不矛盾律，也稱為矛盾律，是形式邏輯的基本規律之一。它要求在同一個思維過程中，對於兩個具有反對關係或矛盾關係的判斷不能同時都予以肯定，其中至少有一個是假的。具體來說，兩個判斷互相矛盾，是指它們不能同真，也不能同假；兩個判斷互相反對，是指它們不能同真，但可以同假。如果違反了不矛盾律的要求，就會出現思維上的前後不一，自相矛盾。例如，「a即是正數又是非正數」和「我們住的房子其實不是房子」這兩個判斷就是互相矛盾的，因為它們不能同真，也不能同假。