背理法
出典: Wikipedio
|
背理法(はいりほう、Template:Lang-en-short、Template:Lang-la-short)とは、ある事柄 P を証明するために、P の否定 ¬P を仮定し、矛盾(ある命題とその否定が同時に証明されること)が起きることを示す証明の手法である。帰謬法(きびゅうほう)とも。対偶が元の命題と同値であることとは異なる概念である。
背理法を利用する古典的なものとして、<math>\sqrt {2}</math> が無理数であるという証明や、素数が無限にあるというユークリッドによる証明、ネイピア数の無理性の証明などがある。
数学的直観主義においては、背理法による証明は成立しない。しかし、もとの命題が真であれば、やはり対偶も真になる。
関連項目
外部リンク
Template:IEPTemplate:Philos-stub
ar:البرهان بنقض الفرض be:Давядзенне да абсурду bs:Reductio ad absurdum ca:Reducció a l'absurd cs:Důkaz sporem da:Absurd (logik) de:Reductio ad absurdum el:Εις άτοπον απαγωγή en:Reductio ad absurdum eo:Pruvo per disputo es:Reducción al absurdo et:Vastuväiteline tõestus fa:برهان خلف fi:Reductio ad absurdum fr:Raisonnement par l'absurde he:הוכחה בדרך השלילה hu:Reductio ad absurdum id:Pembuktian melalui kontradiksi is:Niðursöllun í fáránleika it:Dimostrazione per assurdo ko:귀류법 la:Reductio ad absurdum nl:Bewijs uit het ongerijmde nn:Reductio ad absurdum no:Reductio ad absurdum pl:Dowód nie wprost pms:Dimostrassion për assurd pt:Prova por contradição ro:Argumentum ad absurdum ru:Доказательство от противного sh:Reductio ad absurdum simple:Reductio ad absurdum sk:Dôkaz sporom sl:Dokaz s protislovjem sr:Свођење на контрадикцију sv:Indirekt bevis tr:Reductio ad absurdum uk:Доведення від супротивного zh:反證法 zh-min-nan:Hoán-chèng-hoat zh-yue:反證法