排中律

✍ dations ◷ 2025-07-27 18:34:46 #思维规律,逻辑

在逻辑中,排中律(拉丁语:tertium non datur)声称对于任何命题 P {\displaystyle P} ( P ¬ P ) {\displaystyle (P\vee \neg P)} 为真。

符号 ' ¬ {\displaystyle \neg } ' 读作“非”, {\displaystyle \vee } 读作“或”, {\displaystyle \wedge } 读作“与”。

例如,如果 P {\displaystyle P}

则包含式析取

为真。

这不完全同于二值原理,它陈述的是 P 必须要么是真要么是假。它也不同于无矛盾律,它陈述的是 ¬ ( P ¬ P ) {\displaystyle \neg (P\wedge \neg P)} 是真。排中律只是说 ( P ¬ P ) {\displaystyle (P\vee \neg P)} 整体是真。不提及 P {\displaystyle P} 自身可以采用什么真值。在任何情况下,任何二值逻辑的语义都将为 P {\displaystyle P} ¬ P {\displaystyle \neg P} 指派对立的真值(就是说,如果 P {\displaystyle P} 是真,则 ¬ P {\displaystyle \neg P} 是假),所以在二值逻辑中排中律会等价于二值原理。但是,对于非二值逻辑或多值逻辑就不能这么说。

特定的逻辑系统可能通过允许多于两个真值(比如:真、假、中;真、假、非真非假、亦真亦假)而拒绝二值原理,但接受排中律。在这种逻辑中, ( P ¬ P ) {\displaystyle (P\vee \neg P)} 可以为真,而 P {\displaystyle P} ¬ P {\displaystyle \neg P} 不被分别指派为对立的真值。

一些逻辑不接受排中律,最著名的是直觉逻辑。文章《二值和有关规律》中详细地讨论了这个问题。

排中律可能被误用,导致排中律的逻辑谬论,这也叫做假两难推理。

证明: 存在无理数 a {\displaystyle a} b {\displaystyle b} ,满足 a b {\displaystyle a^{b}} 的值为有理数

假设 a = 2 , b = 2 , c = a b = 2 2 {\displaystyle a={\sqrt {2}},b={\sqrt {2}},c=a^{b}={\sqrt {2}}^{\sqrt {2}}}

1.假设 c {\displaystyle c} 是有理数, 则证明成立

2.假设c是无理数, c 2 = ( 2 2 ) 2 = 2 2 = 2 {\displaystyle c^{\sqrt {2}}=\left({\sqrt {2}}^{\sqrt {2}}\right)^{\sqrt {2}}={\sqrt {2}}^{2}=2}

(也就是说 a = c , b = 2 {\displaystyle a=c,b={\sqrt {2}}} )

这里的证明需要假设 2 2 {\displaystyle {\sqrt {2}}^{\sqrt {2}}} 既是有理数又是无理数,换言之则假设了排中律的成立.

相关

  • 艾德温·史密斯纸草文稿《艾德温·史密斯纸草文稿》(Edwin Smith Papyrus)是约于公元前1600-1700年间完成的医学论文集:70,也是人类史上第一部关于创伤的外科医学著作,由莎草纸写成,长约5米(因为损毁只剩
  • 中央邦中央邦(印地语:मध्य प्रदेश,拉丁字母转写:Madhya Pradesh)。印度中部的一邦。在德干高原与恒河平原之间。首府博帕尔。邦境内有数条河流流经。16-17世纪时由贡德人统治
  • 俞大鹏俞大鹏(1959年3月-),宁夏中卫人,中国无机非金属材料领域专家,北京大学教授。2015年当选为中国科学院院士。1982年毕业于华东理工大学,1985年获中国科学院上海硅酸盐研究所硕士学位,1
  • 分子动理论分子运动论(英语:kinetic theory of gases,又称气体动力论)是描述气体为大量做永不停息的随机运动的粒子(原子或分子,物理学上一般不加区分,都称作分子)。快速运动的分子不断地碰撞
  • 血肠血肠是香肠的一种,主要成分为动物的血,混入一些肉及脂肪。在欧洲国家,血肠主要使用猪血和牛血,羊血则较少使用,家禽的血则极少使用。亚洲不少地方的人都喜欢吃血肠。血肠曾经为居
  • 一一脱离东欧剧变(又称苏东剧变、东欧革命、东欧剧变、苏东波,西方社会称之为1989年系列革命)指在1990年前后东欧和中欧的社会主义国家中,发生反对派推翻共产党政权的急剧政治变化。1989
  • 恺撒里昂托勒密十五世·菲洛帕托尔·菲洛墨托尔·恺撒(希腊语:Πτολεμαίος ΙΕ' Φιλοπάτωρ Φιλομήτωρ Καίσαρ,拉丁化:,前47年6月23日-前30年8月23日),昵
  • 2015年亚洲沙滩足球锦标赛2015年亚足联沙滩足球锦标赛是2015年3月23日至28日在卡塔尔多哈举行的沙滩足球锦标赛 这是亚足联沙滩足球锦标赛连续第二次在多哈举行。 所有比赛都在卡塔拉海滩进行。本次
  • 秋月成美秋月成美(1996年10月25日-)是一位日本女演员。出身于日本神奈川县,所属事务所是东宝艺能。
  • 地理扩散地理扩散(Geodispersal)是一个与地理隔离相对的过程,指阻挡两个生态系统或种群之间发生交流的地理屏障消失后,两个生态系统或种群开始逐步融合的过程。地理扩散的一个例子是巴拿