形式逻辑思考三大原理之一,谓一事物在真与假两个判断中,不是真便是假,不是假便是真,不能有中间情况。此律原为西方理则思想之基础。唯自本世纪二十年代以来,有直观派逻辑及三值多值逻辑兴,均不以此律为是。且证之于量子物理学,则此律不可用,必以三值逻辑方可。
德语 Satz vom ausgeschlossenen Dritten (S, Math)
【排字的详细解释】:[pái]1.一个挨一个地按着次序摆:排队。排字。把椅子排成一行。2.排成的行列:他坐在后排。3.军队的编制单位,隶属于连,下辖若干班。4.指排球运动:排坛。中国女排。5.用于成行列的东西:一排子弹。一排椅子。上下两排牙齿。6.一种水上交通工具,用竹子或木头平排地连在一起做成。7.指扎(zā)成排的竹子或木头,便于放在水里运走。8.一种西式食品,用大而厚的肉片煎成:牛排。猪排。9.排演:彩排。这是一出新排的京剧。10.推;推开:排闼(tà)直入。排门而出。[pǎi]用楦子填紧或撑大新鞋的中空部分使合于某种形状:把这双鞋排一排。
【中字的详细解释】:[zhōng]1.方位词。跟四周的距离相等;中心:中央。华中。居中。2.指中国:中文。古今中外。3.方位词。范围内;内部:家中。水中。山中。心中。队伍中。4.位置在两端之间的:中指。中锋。中年。中秋。中途。5.等级在两端之间的:中农。中学。中型。中等。6.不偏不倚:中庸。适中。7.中人:作中。8.适于;合于:中用。中看。中听。9.成;行;好:中不中?。这办法中。饭这就中了。10.姓。[zhòng]1.正对上;恰好合上:中选。猜中了。三枪都打中了目标。2.受到;遭受:中毒。中暑。胳膊上中了一枪。
【律字的详细解释】:1.法律;规则:定律。规律。纪律。2.我国古代审定乐音高低的标准,把乐音分为六律和六吕,合称十二律。3.旧诗的一种体裁:五律。七律。排律。参看〖律诗〗。4.约束:律己。律人。自律。5.姓。
在此基础上给出一机器能行算法,把排中律等值置换成任一重言式,证明任一命题逻辑内定理。
例如,当使用NaN时,排中律就不成立了。
同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式.
随着多值逻辑和分析哲学的发展,经典的排中律面临着一些难题,我们应该对排中律有新的理解。
排中律是思维的基本规律之一,它构成古典逻辑中所有证明的基础。
本文分析了排他性逻辑思维的内容,在经济活动中的表现及与排中律、选言推理的关系。
逻辑规律是关于思维的逻辑形式的规律,它由同一律、不矛盾律、排中律和充足理由律组成。