排中律
排中律（はいちゅうりつ、、）とは、論理学において、任意の命題 "P" に対し""P" ∨ ¬"P""（"P" であるか、または "P" でない）が成り立つことを主張する法則である。これは、論理の古典的体系では基本的な属性であり、同一律、無矛盾律とともに、（古典的な）思考の三原則のひとつに数えられる。しかし、論理体系によっては若干異なる法則となっている場合もあり、場合によっては排中律が全く成り立たないこともある（例えば直観論理）。
（第三の命題が排除される原理）あるいは（第三の命題・可能性は存在しない）と称され、（中間の命題は排除されて存在しない法則）または （第三の命題が排除される法則）と呼ばれ、これらが日本語での排中という表記につながり、排中原理と呼ばれる。
排中律は論理から導かれる法則ではない。また とは異なる主張である。
修辞学では排中律が誤解されて利用されることがあり、誤謬の原因となっている。