排中律：páizhōnglǜ　基本解释：●详细解释：形式逻辑的基本规律之一。在同一时间和同一条件下，互相矛盾的两个判断中，必有一真，不能都假。如一个是假的，另一个一定是真的，不能有中间情况。★　　排中律与同一律(LawofIdentity)、矛盾律(LawofContradiction)，合称为古典逻辑中所谓的思想三律。排中律系断言在两相矛盾的命题中，必有其一为真，而真否定为假，排除居中的第三种可能。以符号表示则为：pv～p，读作「p或非p」，即p或非p必有一为真。　　思想三律可以视为建立真值表(truthtable)的基础；在真值表中的各栏内不填T(true)（真），就填F(false)（假），也就是一个语句只有真或假两倍，此是受古典逻辑排中律之规范，而与现代多值逻辑认为一个语句并非只有真、假两值之基本假设不同。--作者:刘文惠★形式逻辑思考三大原理之一，谓一事物在真与假两个判断中，不是真便是假，不是假便是真，不能有中间情况。此律原为西方理则思想之基础。唯自本世纪二十年代以来，有直观派逻辑及三值多值逻辑兴，均不以此律为是。且证之于量子物理学，则此律不可用，必以三值逻辑方可。

1、形式主義数学と直観主義数学との本質的な違いは「排中律」と「肯定」とを同等と認めるか否かにある。形式主义数学和直观主义数学的本质差别是是否认为“排中原理”和“肯定”是同等的。

2、构造性逻辑否定排中律吗

3、排中律是进行规定的知性所提出的原则，意在排除矛盾，殊不知这种办法反而使其陷于矛盾。

4、并从步骤中看出反证法的逻辑依据形式逻辑中的矛盾律，排中律，同时给出了反证法的详细的逻辑结构。

5、排中律是思维的基本规律之一，它构成古典逻辑中所有证明的基础。

6、不说抽象理智所建立的排中律，我们可以说，一切都是相反的。

7、伟大的逻辑学家亚里士多德提出了逻辑的三个基本规律：同一律、矛盾律和排中律，然而逻辑基本规律的现有表述并不科学。

8、本文分析了排他性逻辑思维的内容，在经济活动中的表现及与排中律、选言推理的关系。

9、因为形式语言的意义是确定的，所以排中律作为形式逻辑系统的基本原则绝对有效。

10、它对排中律和间接证明方法有效性的质疑，揭示了经典逻辑只具有相对的真理性；

11、所以，构造性逻辑只是在形式上而非实质上否定了排中律。

12、随着多值逻辑和分析哲学的发展，经典的排中律面临着一些难题，我们应该对排中律有新的理解。

13、矛盾律与排中律的适用范围并没有宽与窄的区别；

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

15、论亚里士多德的排中律疑难