翻訳と辞書
Words near each other
・ 背水の陣
・ 背水曲線
・ 背泳
・ 背泳ぎ
・ 背溝
・ 背炙り山空中ケーブル
・ 背炙山
・ 背炙山公園野草ゾーン
・ 背炙峠
・ 背理
背理法
・ 背甲
・ 背番号
・ 背番号 (曖昧さ回避)
・ 背番号のないエース
・ 背番号候補
・ 背痛
・ 背痛、脊椎痛
・ 背眼
・ 背着やく


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

背理法 : ミニ英和和英辞書
背理法[はいりほう]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [せ, せい]
 【名詞】 1. height 2. stature 
背理 : [はいり]
  1. (n,vs) absurdity 2. irrationality
: [り]
 【名詞】 1. reason 
理法 : [りほう]
 (n) law
: [ほう]
  1. (n,n-suf) Act (law: the X Act) 

背理法 : ウィキペディア日本語版
背理法[はいりほう]
背理法(はいりほう、、)とは、ある命題 ''P'' を証明したいときに、''P'' が偽であると仮定して、そこから矛盾を導くことにより、''P'' が偽であるという仮定が誤り、つまり ''P'' は真であると結論付けることである。帰謬法(きびゅうほう)とも言う。
''P'' を仮定すると、矛盾が導けることにより、''P'' の否定 ¬''P'' を結論付けることは否定の導入などと呼ばれる。これに対して ¬''P'' を仮定すると矛盾が導けることにより ''P'' を結論付けることを狭義の背理法あるいは否定の除去ということがある。否定の導入と狭義の背理法をあわせて広義の背理法ということもある。
一般的には、背理法と言った場合広義の背理法を指す。否定の導入により、¬''P'' から矛盾が導けた場合、¬¬''P'' を結論できるが、いわゆる古典論理では推論規則として二重否定の除去が認められているため、結局 ''P'' が結論できることになる。排中律や二重否定の除去が成り立たない直観論理では、狭義の背理法による証明は成立しないが、否定の導入や、¬¬¬''P'' から ¬''P'' を結論することは、認められる。
背理法を使って証明される有名な定理には、\sqrt無理数であること、素数が無限に存在すること、中間値の定理などがあり、無限を相手にした証明には基本的に背理法のスタイルを取らざるを得ないものが多くある。
しかし例えば、\sqrt が無理数である(すなわち有理数でない)ことの証明は、狭義の背理法ではなく否定の導入によって証明することができる。
== 関連項目 ==

* 転換法
* 無矛盾律
* 否定の導入



抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「背理法」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.