排中律是形式邏輯的基本規律之一，它指出在同一個思維過程中，兩種思想不能同假，其中必有一真。這可以表述為「要麼A要麼非A」。排中律要求在同一思維過程中，對兩個相互排斥的思想不能同時予以否定。如果已經確定A不為真，則A一定為假，反之亦然。這意味著，對於具有矛盾關係或下反對關係的命題，不能同時加以否定。
排中律的實質是要求人們的思維具有明確性，不允許在「是」與「非」之間模稜兩可。違反排中律的要求會產生邏輯錯誤，稱為「模稜兩可」或「兩不可」，即對兩個相互矛盾的判斷都否定，沒有明確肯定其中一個。
排中律的作用在於保證思維表述的明確性，是正確思維的必要條件。通過遵守排中律，可以正確地進行思維和表述。