反证法

✍ dations ◷ 2025-07-27 12:20:07 #反证法
反证法(又称背理法)是一种论证方式,他首先假设某命题成立(即在原命题的条件下,结论不成立),然后推理出明显矛盾的结果,从而下结论说原假设不成立,原命题得证。反证法与归谬法相似,但归谬法不仅包括推理出矛盾结果,也包括推理出不符事实的结果或显然荒谬不可信的结果。给出命题 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}}} 为无理数。数学上有许多的定理可用反证法来证明,以下是一小部分的例子:

相关

  • 冠状病毒科冠状病毒科(学名:Coronaviridae)是正链单股RNA病毒的一个科,属网巢病毒目,为具外膜、直径约80—120nm的病毒,基因组长约26–32kb,为RNA病毒中较大者。本科包含冠状病毒亚科与Letovi
  • 本质主义本质主义(Essentialism),又译为精粹主义,是一种认为任何的实体(如一只动物,一群人,一个物理对象,一个观念)都有一些必须具备的本质的观点。这种观点同时会认为无法对现象作出最终解释
  • MozillaMozilla是一个自由软件社群,由网景通信公司的成员于1998年创立。在非正式的场合下,“Mozilla”这个名字常用于不同的事物上。这些事物大都与现已歇业的网景通信公司及其旗下的
  • 颤抖颤抖或震颤(英语:Tremor)是身体部位因不自主肌肉收缩而造成的震动。最常发生在手部;通常是心脉所致,是正常生理现象。不过震颤严重者可能患有疾病。
  • 联氨联氨、联胺、二氮烷或.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{fo
  • 数理逻辑数理逻辑(英:Mathematical logic)是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理
  • 邻苯二甲酸邻苯二甲酸的化学式为C6H4(COOH)2,是苯二甲酸异构体中的一个,也称1,2-苯二甲酸,苯环上的两个羧基位于邻位。它有两个异构体:间苯二甲酸和对苯二甲酸。邻苯二甲酸主要用于制取邻
  • The Arabidopsis Information Resource拟南芥(学名:Arabidopsis thaliana),又名阿拉伯芥、鼠耳芥、阿拉伯草,是一种原生于欧亚大陆的小型开花植物。拟南芥被认为是一种杂草;它是在路边和被扰动土地上被找到的。拟南芥
  • thesaurus索引典(英语:thesaurus),也称为叙词表或类语辞典,同义词辞典,是主题分析的一种实作方法。所谓主题分析是指辨识某作品之知识内涵,分析其特性,并使用某些文字、代号描述其主题。主题
  • 北地郡北地郡,秦昭襄王三十六年(前271年)灭义渠后所置,为秦初三十六郡之一,郡治义渠县(在今甘肃庆阳市西南)。西汉时北地郡治马岭县(在今甘肃庆阳市环县东南的马岭镇)。东汉时由于羌族作乱,