排中律(law of excluded middle)是形式逻辑的基本规律之一，排中律指同一个思维过程中，两个相互矛盾的思想不能同假，必有一真，即“要么A要么非A”。排中律要求在同一思维过程中，不能对不能同假的命题(矛盾关系、反对关系)同时加以否定。比如有一块空地可以种庄稼，甲、乙两人讨论这块地该种什么庄稼好。甲一会儿说应该种玉米，一会儿又说不应该种玉米。针对甲的说法，乙说： “你的两种意见，我都不同意。”在这里，甲的说法就违反了矛盾律的要求，犯了“自相矛盾”的错误，因为他同时肯定了这块空地“应该种玉米”和“不应该种玉米”这两个相互矛盾的判断。而针对甲的说法，乙的说法就违反了排中律的要求，因为排中律认为两个互相矛盾的判断不能同假，而乙恰好断定上述两个判断都是假的。也就是说：这块地要不就是应该种玉米，要不就是不应该种玉米，二者必有其一。