旧称“拒中律”或“不容间位律”。形式逻辑的基本规律之一。它要求：在同一时间、同一关系下，对同一对象作出判断时，必须在两个互相矛盾的思想中有所肯定，即对A与非A不能都加以否定，而须承认其中必有一真。遵守排中律能使思维消除不确定性；否则，就会犯“模棱两可”或“两不可”的逻辑错误。排中律的公式是：“A或非A”或“A是B或A不是B”。