出处：按学科分类—哲学、宗教 广东人民出版社《哲学辞典》第447页（229字）
逻辑学的一条规律。
根据这一规律，在两个命题中，如某一命题否定另一命题所断定的内容，必然有一个命题是真的。最先提出这一定律的是亚里士多德。
例如：在“太阳是恒星”(A是B)和“太阳不是恒星”(A不是B)这两个命题中必定有一个是真的。
传统的形式逻辑在提到这种命题时，经常是这样来表示排中律的：“A是B，或不是B”(没有第三种可能，拉丁语是tertium non datur)。
排中律常用于证明过程，例如用于反证中。