排中律

词语	排中律
拼音	pái zhōng lǜ
字数	3字词语
形式	abc式词语

意思：

形式逻辑的基本规律之一。指在肯定、否定之间必须择其一，不能两不可。也就是在同一思维过程中，在同一时间、同一意义上，对同一问题做的两个互相矛盾的判断中，必有一个是真的，非此即彼，不能都否定。如在“甲是乙”和“甲不是乙”这两个判断中，必须肯定一个，否定一个，没有第三种可能。违反这条规律，就会犯模棱两可的错误。

解释：

（一）、形式逻辑的基本规律之一。在同一时间和同一条件下，互相矛盾的两个判断中，必有一真，不能都假。如一个是假的，另一个一定是真的，不能有中间情况。

释义：

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

造句：

1、 在此基础上给出一机器能行算法，把排中律等值置换成任一重言式，证明任一命题逻辑内定理。

2、 例如，当使用nan时，排中律就不成立了。