排中律

(二值)邏輯中的一項定律，指出真和假之間沒有第三種選擇。換句話說，對於任何陳述 ，要麼 為真，要麼 非- 為真，並且另一個必須為假。 該定律在三值邏輯或模糊邏輯中不再成立。