排中律是形式邏輯的基本規律之一。
排中律表明，在同一個思維過程中，兩個互相矛盾的思想不能同假，必有一真。這可以簡單地概括為「要麼A要麼非A」的形式，其中A代表任何一個判斷或陳述，非A則表示與A相矛盾的判斷或陳述。排中律的作用在於保證邏輯思維的明晰性和一致性，避免在思考過程中出現猶豫不決或邏輯混亂的情況。
排中律還強調，在一定的論域內，真理屬於兩個互相矛盾的認識之一，即肯定或否定的狀態。這有助於人們正確地認識和反映客觀事物。此外，在論證過程中，排中律也是間接論證的邏輯依據。通過證明一個與之相矛盾的觀點是錯誤的，可以間接證明自己的觀點是正確的。
違反排中律的邏輯錯誤被稱為「模稜兩不可」，即在思維過程中同時否定兩個互相矛盾的思想，這在邏輯上是不成立的。