排中律造句
【排中律 pái zhōng lǜ】：形式逻辑的基本规则之一。其内容为：在必须作出判断的时候，要有所断定，不能无可无不可，无所断定；对于只有互相矛盾的两个可能的问题，要有所肯定，不能两不可，对两个可能全都否定。它和同一律、矛盾律都不同，从一个新的角度要求思维的确定性。因其要求排除两个矛盾判断之间的中间者，故称排中律。
1, 在此基础上给出一机器能行算法，把排中律等值置换成任一重言式，证明任一命题逻辑内定理。
2, 例如，当使用NaN时，排中律就不成立了。
3, 同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式.
4, 随着多值逻辑和分析哲学的发展，经典的排中律面临着一些难题，我们应该对排中律有新的理解。
5, 排中律是思维的基本规律之一，它构成古典逻辑中所有证明的基础。
6, 本文分析了排他性逻辑思维的内容，在经济活动中的表现及与排中律、选言推理的关系。
7, 逻辑规律是关于思维的逻辑形式的规律，它由同一律、不矛盾律、排中律和充足理由律组成。