形式邏輯的基本規則之一。其內容爲：在必須作出判斷的時候，要有所斷定，不能無可無不可，無所斷定；對於只有互相矛盾的兩個可能的問題，要有所肯定，不能兩不可，對兩個可能全都否定。它和同一律、矛盾律都不同，從一個新的角度要求思維的確定性。因其要求排除兩個矛盾判斷之間的中間者，故稱排中律。