【中】：[zhōng]1.方位词。跟四周的距离相等；中心：中央。华中。居中。2.指中国：中文。古今中外。3.方位词。范围内；内部：家中。水中。山中。心中。队伍中。4.位置在两端之间的：中指。中锋。中年。中秋。中途。5.等级在两端之间的：中农。中学。中型。中等。6.不偏不倚：中庸。适中。7.中人：作中。8.适于；合于：中用。中看。中听。9.成；行；好：中不中?。这办法中。饭这就中了。10.姓。[zhòng]1.正对上；恰好合上：中选。猜中了。三枪都打中了目标。2.受到；遭受：中毒。中暑。胳膊上中了一枪。
【律】：1.法律；规则：定律。规律。纪律。2.我国古代审定乐音高低的标准，把乐音分为六律和六吕，合称十二律。3.旧诗的一种体裁：五律。七律。排律。参看〖律诗〗。4.约束：律己。律人。自律。5.姓。
在此基础上给出一机器能行算法，把排中律上海419论坛等值置换成任一重言式，证明任一命题逻辑内定理。
例如，当使用NaN时，排中律就不成立了。
同一律、不矛盾律和排中律上海419论坛是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式.
随着多值逻辑和分析哲学的发展，经典的排中律面临着一些难题，我们应该对排中律有新的理解。
排中律是思维的基本规律之一，它构成古典逻辑中所有证明的基础。
本文分析了排他性逻辑思维的内容，在经济活动中的表现及与排中律、选言推理的关系。
逻辑规律是关于思维的逻辑形式的规律，它由同一律、不矛盾律、排中律和充足理由律组成。
* 排中律的读音是：pái zhōng lǜ，排中律的意思：排中律 排中律(law of excluded middle)是形式逻辑的基本规律之一，排中律指同一个思维过程中，两个相互矛盾的思想不能同假，必有一真，即“要么A要么非A”。排中律要求在同一思维过程中，不能对不能同假的命题(矛盾关系、反对关系)同时加以否定。比如有一块空地可以种庄稼，甲、乙两人讨论这块地该种什么庄稼好。甲一会儿说应该种玉米，一会儿又说不应该种玉米。针对甲的说法，乙说： “你的两种意见，我都不同意。”在这里，甲的说法就违反了矛盾律的要求，犯了“自相矛盾”的错误，因为他同时肯定了这块空地“应该种玉米”和“不应该种玉米”这两个相互矛盾的判断。而针对甲的说法，乙的说法就违反了排中律的要求，因为排中律认为两个互相矛盾的判断不能同假，而乙恰好断定上述两个判断都是假的。也就是说：这块地要不就是应该种玉米，要不就是不应该种玉米，二者必有其一。