排中律是什麼意思

排中律（Law of the Excluded Middle）是邏輯學中的一條基本規則，它指出對於一個陳述（命題）來說，它要麼是真的，要麼是假的，沒有第三種可能性。換句話說，一個陳述不可能同時是非真和非假的。

排中律的公式可以表述為：

對於任何命題P，要麼P是真的，要麼非P（即P是假的）是真的。

這意味著對於任何命題，我們都可以在真和假之間做出明確的選擇，而不能同時既不承認它是真的也不承認它是假的。

排中律是古典邏輯的一個基本原則，它與矛盾律（A命題不能同時與其否定非A命題為真）一起構成了邏輯中的兩個基本律。在古典邏輯中，這些律是為了確保邏輯系統的一致性和明確性。

然而，在某些非古典邏輯系統中，比如萊布尼茨的潛在論（Latentism）或部分現代的模糊邏輯（Fuzzy Logic），排中律可能不再適用，因為這些系統允許命題具有不完全的真或假性質。在這些系統中，一個命題可能同時具有真和假的成分，這違反了排中律。