弄清查询(nqcx.com) - 免费实用便民查询工具大全网
功能直达
形式逻辑的基本规律之一。指在肯定、否定之间必须择其一，不能两不可。也就是在同一思维过程中，在同一时间、同一意义上，对同一问题做的两个互相矛盾的判断中，必有一个是真的，非此即彼，不能都否定。如在“甲是乙”和“甲不是乙”这两个判断中，必须肯定一个，否定一个，没有第三种可能。违反这条规律，就会犯模棱两可的错误。
（一）、形式逻辑的基本规律之一。在同一时间和同一条件下，互相矛盾的两个判断中，必有一真，不能都假。如一个是假的，另一个一定是真的，不能有中间情况。
【排的意思】：排 pái（ㄆㄞˊ） （一）、除去，推开：排出。排斥。排水。排外。排挤。排山倒海。排忧解难。（二）、 详情>
【中的意思】：中 zhōng（ㄓㄨㄥ） （一）、和四方、上下或两端距离同等的地位：中心。当（ dàng ）中。中原 详情>
【律的意思】：律 lǜ（ㄌㄩˋ） （一）、法则，规章：纪律。法律。定律。规律。清规戒律。律师。（二）、约束：律己。 详情>
• 构造性逻辑否定排中律吗
• 所以，构造性逻辑只是在形式上而非实质上否定了排中律。
• 同一律、不矛盾律和排中律是传统形式逻辑中的基本规律。
• 不说抽象理智所建立的排中律，我们可以说，一切都是相反的。
• 排中律是思维的基本规律之一，它构成古典逻辑中所有证明的基础。
• 因为形式语言的意义是确定的，所以排中律作为形式逻辑系统的基本原则绝对有效。
• 排中律是进行规定的知性所提出的原则，意在排除矛盾，殊不知这种办法反而使其陷于矛盾。
• 在此基础上给出一机器能行算法，把排中律等值置换成任一重言式，证明任一命题逻辑内定理。
