排中律

在邏輯中 ， 排中律 （ tertium non datur ） 聲稱對於任何命題 ， 爲真 。 符號'' 讀作 “ 非 ” ， 讀作 “ 或 ” ， 讀作 “ 與 ” 。 例如 ， 如果 是 “ 張三是禿子 ” 則包含式析取 “ 張三是禿子 ， 或張三不是禿子 ” 爲真 。 這不完全同於二值原理 ， 它陳述的是 P 必須要麼是真要麼是假 。 它也不同於無矛盾律 ， 它陳述的是 是真 。 排中律只是說 整體是真 。 不提及 自身可以採用什麼真值 。 在任何情況下 ， 任何二值邏輯的語義都將爲 和 指派對立的真值 而拒絕二值原理 ， 但接受排中律 。 在這種邏輯中 ， 可以爲真 ， 而 和 不被分別指派爲對立的真值 。 一些邏輯不接受排中律 ， 最著名的是直覺邏輯 。 文章 《 二值和有關規律 》 中詳細地討論了這個問題 。 排中律可能被誤用 ， 導致排中律的邏輯謬論 ， 這也叫做假兩難推理 。