反证法

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

相关

  • 囊泡虫囊泡虫总门(学名:Alveolata)是一大类原生生物.囊泡虫类可分为4个门, 在形态上具有非常大的多样性,但根据细胞内的超微结构与基因具有密切亲缘关系:帕金虫属(Perkinsus)可能属于
  • 选民观念选民是指各种自认为“被神所拣选的人”。常常被视为是神挑选,实现天命(例如在地上充当先知)的人、甚至是一个受神喜爱的族群。这个词汇特别是用以指以色列人,因为在《旧约圣经·
  • 洗鼻鼻冲洗(英语:Nasal irrigation),又称鼻腔冲洗、鼻窦浇灌、鼻内冲洗、洗鼻、鼻窦盥洗,是清洁及稀释鼻腔内的过敏原、鼻涕、干掉的鼻涕及脏污的一种方法,可以缓解鼻塞、过敏性鼻炎、
  • 挪威黄油危机挪威黄油危机(英语:Norwegian butter crisis)是由在2011年下旬期间挪威境内黄油供应短缺及价格急升的现象。这次的黄油荒归咎于天气因素、挪威政府对奶制品的入口限制以及该国
  • 菲力普·艾贝尔森菲力普·艾贝尔森(英语:Philip Abelson,1913年4月27日-2004年1月8日),美国物理学家。在华盛顿州立大学主修物理与化学,后于柏克莱加州大学获得核物理博士。他撰写了世界上第一篇如
  • 渣酿白兰地渣酿白兰地(意大利语:Grappa),是一种以葡萄为原料的蒸馏酒,源自于意大利北部,酒精含量介乎35%-60%。此种酒源自于公元八世纪,当时参与十字军东征之士兵,从波斯和地中海东部带来了蒸
  • 艾伯特·沙茨艾伯特·沙茨(1920年2月2日-2005年1月17日)是链霉素的共同发现者之一。在过去这个发现通常被单独归功于沙茨的导师赛尔曼·A·瓦克斯曼。沙茨生于康涅狄格州诺威奇,父母分别是
  • 世界遗产世界遗产(英语:World Heritage;法语:Patrimoine mondial),是一项由联合国支持、联合国教育科学文化组织负责执行的国际公约建制,以保存对全世界人类都具有杰出普遍性价值的自然或文
  • 东弗兰克东法兰克王国(德语:Ostfrankenreich)为中欧的一个君主制国家,存在时间为843年至962年。843年,法兰克王国查理曼的三个后人,洛泰尔、日耳曼人路易及秃头查理签署《凡尔登条约》,共同
  • TDEL厚膜电致发光技术(Thick-film dielectric electroluminescent,简称TDEL),一种电致发光技术,其结构类似常规的薄膜电致发光,在前电极与后电极之间包含包含1层或多层发光材料与介质