反证法

✍ dations ◷ 2025-10-19 16:53:52 #反证法
反证法(又称背理法)是一种论证方式,他首先假设某命题成立(即在原命题的条件下,结论不成立),然后推理出明显矛盾的结果,从而下结论说原假设不成立,原命题得证。反证法与归谬法相似,但归谬法不仅包括推理出矛盾结果,也包括推理出不符事实的结果或显然荒谬不可信的结果。给出命题 p {displaystyle p} 和命题 p ¯ {displaystyle {bar {p}}} (非 p {displaystyle p} ),根据排中律,两者之中起码有一个是真(更强的说法为,除了真和假之外并无其他的情况),所以如果其中一个是假的,另一个就必然是真。给出命题 q {displaystyle q} 和命题 q ¯ {displaystyle {bar {q}}} (非 q {displaystyle q} ),根据无矛盾律,两者同时为真的情况为假。给出命题 p {displaystyle p} 和 r {displaystyle r} ,根据否定后件律,如果若 p {displaystyle p} 成立时出现 r {displaystyle r} ,则 r {displaystyle r} 为假时 p {displaystyle p} 即为假。反证法在要证明 p {displaystyle p} 时,透过显示出若 p ¯ {displaystyle {bar {p}}} 成立时出现矛盾( q {displaystyle q} 和 q ¯ {displaystyle {bar {q}}} ),即 p ¯ {displaystyle {bar {p}}} 为假,从而证明 p {displaystyle p} 为真。2 {displaystyle {sqrt {2}}} 是无理数的证明(古希腊人)证明:假设 2 {displaystyle {sqrt {2}}} 是有理数,那么可以写成 p/q 的形式,其中 p、q 皆为正整数且 p、q 互质。那么有可得 p² 是偶数。而只有偶数的平方才是偶数,所以 p 也是偶数。因此可设 p=2s,代入上式,得:q²=2s²。所以 q ²也是偶数,故可得 q 也是偶数。这样 p、q 都是偶数,不互质,这与假设 p、q 互质矛盾,假设不成立。因此 2 {displaystyle {sqrt {2}}} 为无理数。数学上有许多的定理可用反证法来证明,以下是一小部分的例子:

相关

  • 供暖暖气狭义上是指一种集中供暖设施。它由管道(即暖气管)将锅炉产生的蒸汽或热水输送到房间或车体内的散热器(即暖气片),散出热量,使室温增高,然后流回锅炉重新加热、循环。有时也将“
  • 脊髓位于脊柱的椎管内且被脊椎保护;是源自脑的中枢神经系统延伸部分。中枢神经系统的细胞依靠复杂的联系来处理传递信息。脊髓主要负责躯干和四肢的反射动作,及传送脑与外周之间的
  • 氢氧化钠氢氧化钠,又称烧碱和苛性钠(sodium hydroxide;lye and caustic soda),化学式为NaOH,是一种具有高腐蚀性的强碱,一般为白色片状或颗粒,能溶于水生成碱性溶液,另也能溶解于甲醇及乙醇。
  • Pr4f3 6s22, 8, 18, 21, 8, 2蒸气压第一:527 kJ·mol−1 第二:1020 kJ·mol−1 第三:2086 kJ·mol主条目:镨的同位素镨(拼音:pǔ,注音:ㄆㄨˇ,粤拼:pou2)是一种化学元素,它的化学符号是Pr
  • 教授教授,是一种高等教育体系中的职称。在中国汉、唐的大学中即设有此官职;在现代汉语、日语、及韩语的语境中,多作为英语“Professor”一词的同义语使用,指在现代高等教育机构(例如
  • 阿肯色阿肯色州(英语:State of Arkansas /ˈɑːrkənsɔː/),是美国南部的一个州份,位处密西西比河中下游,北接密苏里州,西界俄克拉荷马州,南邻路易斯安那州,西南与得克萨斯州接壤,东隔密西
  • MGP数学谱系计划(英语:Mathematics Genealogy Project)是一个针对数学家学术谱系(英语:academic genealogy)的网络数据库。截止至2015年7月,它已整合超过190,600位做出过一定研究贡献
  • 能量密度能量密度是指在一定的空间或质量物质中储存能量的大小。如果是按质量来判定一般被称为比能。此表给出了完整系统的能量密度,包含了一切必要的外部条件,如氧化剂和热源。实际回
  • 无精子症无精子症(英语:Azoospermia)是指男性精液中没有精子的症状。无精子症与男性不育密切相关,但许多都是可以治疗的。在人类中,无精子症影响了约1%的男性群体,造成了大约20%的男性不育
  • 空气净化器空气净化器,又称空气清洁器、空氣淨化器,是指能够滤除或杀灭空气污染物、有效提高空气清洁度的产品。有些冷气机、暖气机等空调设备也附带有限度的空气清净的功能。空气净化器