排中律(law of excluded middle)是形式邏輯的基本規律之一，排中律指同一個思維過程中，兩個相互矛盾的思想不能同假，必有一真，即“要麼A要麼非A”。排中律要求在同一思維過程中，不能對不能同假的命題(矛盾關係、反對關係)同時加以否定。比如有一塊空地可以種莊稼，甲、乙兩人討論這塊地該種什麼莊稼好。甲一會兒說應該種玉米，一會兒又說不應該種玉米。針對甲的說法，乙說： “你的兩種意見，我都不同意。”在這裡，甲的說法就違反了矛盾律的要求，犯了“自相矛盾”的錯誤，因為他同時肯定了這塊空地“應該種玉米”和“不應該種玉米”這兩個相互矛盾的判斷。而針對甲的說法，乙的說法就違反了排中律的要求，因為排中律認為兩個互相矛盾的判斷不能同假，而乙恰好斷定上述兩個判斷都是假的。也就是說：這塊地要不就是應該種玉米，要不就是不應該種玉米，二者必有其一。