排中律 在逻辑中排中律拉丁語tertium non datur声称对于任何命题 P displaystyle P   P   P  displaystyle Pvee neg P 为真排中律是思维规律之一 符号   displaystyle neg   读作非  displaystyle vee  读作或  displaystyle wedge  读作与 例如如果 P displaystyle P 是 張三是秃子 则包含式析取 張三是秃子或張三不是秃子 为真 这不完全同于二值原理它陈述的是 P 必须要么是真要么是假它也不同于无矛盾律它陈述的是   P   P  displaystyle neg Pwedge neg P 是真排中律只是说  P   P  displaystyle Pvee neg P 整体是真不提及 P displaystyle P 自身可以采用什么真值在任何情况下任何二值逻辑的语义都将为 P displaystyle P 和  P displaystyle neg P 指派对立的真值就是说如果 P displaystyle P 是真则  P displaystyle neg P 是假所以在二值逻辑中排中律会等价于二值原理但是对于非二值逻辑或多值逻辑就不能这么说 特定的逻辑系统可能通过允许多于两个真值比如真假中真假非真非假亦真亦假而拒绝二值原理但接受排中律在这种逻辑中  P   P  displaystyle Pvee neg P 可以为真而 P displaystyle P 和  P displaystyle neg P 不被分别指派为对立的真值 一些逻辑不接受排中律最著名的是直觉逻辑文章二值和有关规律中详细地讨论了这个问题 排中律可能被误用导致排中律的逻辑谬论这也叫做假两难推理