形式逻辑的基本规则之一。其内容为：在必须作出判断的时候，要有所断定，不能无可无不可，无所断定；对于只有互相矛盾的两个可能的问题，要有所肯定，不能两不可，对两个可能全都否定。它和同一律、矛盾律都不同，从一个新的角度要求思维的确定性。因其要求排除两个矛盾判断之间的中间者，故称排中律。