背理法
![]() | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。(2016年4月) |
背理法(はいりほう、英: proof by contradiction, reduction to the absurd, indirect proof, apagogical argument など、羅: reductio ad absurdum, RAA)とは、ある命題 P を証明したいときに、P が偽であることを仮定して、そこから矛盾を導くことによって、P が偽であるという仮定が誤り、つまり P は真であると結論付けることである[1]。帰謬法(きびゅうほう)とも言う。
P を仮定すると、矛盾 ⊥ が導けることにより、P の否定 ¬P を結論付けることは否定の導入などと呼ばれる[2]。
この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。
「Proof by contradiction」の例文・使い方・用例・文例
- Colby KentがHeidi Petersに連絡をした理由
- goodbyはgoodbyeの異綴りである。
- 受身の動作主 《受身の by 以下に示されて動作を引き起こすもの》.
- タクシーで行く 《by cab は無冠詞》.
- 『rubber baby buggy bumper』は早口言葉である
- 「Ruby(ルビー)」と呼ばれる新しいコンピュータプログラミング言語を開発。
- Rubyはプログラム作成を楽しく手軽なものにし,世界中で広く使われている。
- Rubyはウェブサイト作成にも利用できる。
- この言語はRubyとはかなり違っていました。
- 1993年にRubyの開発を始めました。
- Rubyを使って最も簡単なプログラムを動かすのに半年近くかかりました。
- でも,私は進み続け,ついにRubyを完成させました。
- 1995年,Rubyは一般に公開されました。
- 現在はフェローの肩書きをもらい,Rubyに関する開発や講演,執筆に専念しています。
- 7月1日,ウォルマートNWアーカンソー選手権 by P&G の最終ラウンドが米国アーカンソー州のピナクルカントリークラブで行われた。
- Proof by contradictionのページへのリンク