帰謬法（読み）キビュウホウ（その他表記）reductio ad absurdum

デジタル大辞泉

きびゅう‐ほう〔キビウハフ〕【帰^×謬法】

⇒背理法はいりほう

出典　小学館

精選版 日本国語大辞典

きびゅう‐ほうキビウハフ【帰謬法】

1. 〘 名詞 〙 ( [ラテン語] reductio ad absurdum の訳語 ) ある判断の矛盾判断をかりに真とすれば、結局は不合理におちいることを指摘して、その判断が真実であることを、間接的に証明する方法。間接還元法。背理(はいり)法。〔哲学字彙（1881）〕

出典　精選版 日本国語大辞典

ブリタニカ国際大百科事典 小項目事典

帰謬法
きびゅうほう
reductio ad absurdum

背理法，間接証明 indirect proofともいい，命題Aを証明するにあたり，すでに受容された命題群 B₁B₂ … B_n とともにAの否定を論じると必ずや矛盾に陥ること (このため reductio ad impossibileともいう) を示す証明法。厳密にいうと，受容された命題群のうち1つでも偽であればこの証明法は成立しないから，それらはあらかじめ十分に確かめられたものでなければならない。

出典　ブリタニカ国際大百科事典 小項目事典

改訂新版　世界大百科事典

帰謬法 (きびゅうほう)

→背理法

出典　株式会社平凡社「改訂新版　世界大百科事典」

日本大百科全書(ニッポニカ)

帰謬法
きびゅうほう

→背理法

出典　小学館　日本大百科全書(ニッポニカ)

世界大百科事典（旧版）内の帰謬法の言及

【証明】より

…直接証明法でないものが間接証明法であるが，その中には同一法，転換法，背理法がある。これらのうち，背理法がもっとも重要であり，それは，証明すべき命題の結論の否定を仮定に加えて矛盾を導く方法で，帰謬法とも呼ばれる。【永田 雅宜】。…

【背理法】より

…証明すべき命題の仮定の外に，結論の否定をも仮定して推論を行い，矛盾を導くことにより，もとの命題を証明する方法である。〈誤りに帰着させる〉という意味で帰謬（きびゆう）法とも呼ばれる。素数が無限にあることを背理法で証明してみよう。…

※「帰謬法」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」