形式邏輯的基本規律之一。指在肯定、否定之間必須選擇其一、不能兩不可。也就是在同一思維過程中，在同一時間、同一意義上，對同一問題做的兩個互相矛盾的判斷中，必須有一個是真的，非此即彼，不能都否定。如在“甲是乙”和“甲不是乙”這兩個判斷中，必須肯定一個，否定一個，沒有第三種可能。違反這條規律，就會犯模稜兩可的錯誤。例如:一個人既說"此矛鋒利,無堅不摧",又說"此盾堅固,任刺不入",就是違反了排中律.
