TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
惑星ニビルの衝突
現代数学の系譜 古典ガロア理論を読む36
日本の若手数学者
0.99999……は１ではない　その２
ニコ生の東大数学科学生headを特定するスレ
まだ中学生だけど大学の数学科に行きたい
分からない問題はここに書いてね422
【数学検定】数学検定1級 合格4
分からない問題はここに書いてね444
面白い問題おしえて〜な 32問目
218 ：
おっちゃんです。

背理法のからくり。
基本的に、背理法で示せる命題は、有限回の推論で矛盾を導くことで示せるようになっている。
Pを仮定、Qを結論とする。P、Qが両方共に真或いは偽のどちらか一方になるのときの命題 P→Q を示すことを考える。
命題 P→Q を背理法で示すとする。Qを否定する。その上で元の仮定のPも仮定する。
そうすると、P、Qは両方共に真か偽のどちらか一方だから、命題 P∧ ¬Q を偽と仮定したことになる。
そして、偽の命題 P∧ ¬Q から始めて、有限回の推論で、背理法で示すべき命題 P→Q を示すことになる。
これを行うにあたり、Qの否定 ¬Q からいえることだけを適用して有限回の推論で矛盾を導けて P→Q を導けるとする。
そうすると、P、Qは両方共に真か偽のどちらか一方で、示すべき命題 P→Q は元々真だから、
仮定のPを任意の(Pとは異なる他の)仮定 P' で置き換えて P'→Q を背理法で示せることになる。
つまり、一般論として、結論Qが与えられた上で、任意の仮定 P' に対して、命題 P'→Q を背理法で示せることがいえる。
だが、これはあり得ない。有限回の推論の過程においてこのあり得ない事柄を導いて矛盾を得られた原因は、
背理法で命題 P→Q を示すにあたり、偽の命題 P∧ ¬Q から推論を始めて、
¬Q だけから行える有限回の推論に基づくことのみを適用して有限回の推論で矛盾を導けたことにある。
従って、背理法で命題 P→Q を有限回の推論で示すにあたり、命題 P∧ ¬Q を偽と仮定して、
¬Q だけから行える有限回の推論に基づくことのみを適用して有限回の推論で矛盾を導いて P→Q を導いてはならない。
だから、背理法で命題 P→Q を有限回の推論で示すには、単に ¬Q からいえることだけではなく、
元の仮定Pに含まれているすべての事柄から行える推論に基づくことも適用して有限回の推論で矛盾を導いて命題 P→Q を示さないといけない。

数学って結局暗記ゲーなの？
分からない問題はここに書いてね456
線形代数で最初に習う互換ってまじ意味ないだろ
分からない問題はここに書いてね478
数学用語に「夜の」って入れるとエロくなる
なぜ右翼と左翼は争っているのか
微分幾何学スレ
マイケル・スピヴァック著『多変数解析学』を読む。【Michael Spivak】
低能サラリーマンking様の弟子と雑談できちゃうスレ
skypeで数学勉強会
--------------------
【写真クイズ】世界の果てまで撮ッテQ 2国目【まるごとザ・ワールド】
データを半永久的に保存するための方法を考えよう
【アルファロメオ】ジュリエッタ Alfa Giulietta 26
宣言以降も営業しているパチンコ屋
【どっちも】マクール＆BOATBoy6月号【読みたい】
今月お勧めの自転車雑誌・書籍は? 8冊目
劇場版機動戦士ガンダム三部作 Part2
【日産】F15 ジューク Part53【JUKE】
フィギュアスケート☆町田樹 Part39
湾岸ミッドナイト風にゴルフを語る
リサイクルショップ「助けて！！」 [327876567]
コーラ飲むのが怖い香具師の数　→
【OS】Microsoftの次期OSは「Windows 10」　「テクニカルプレビュー」を10月1日にリリース
wtaps【西山徹】
トリップテスト
ハジブルまで耐えろ
日大櫻丘高校のバトン部はかわいい
【絵描き専用】何が何でも大手になりたい【オフ専用】◆4660
さくら学院☆1454時間目
コロナの影響なく安心して買えばいい株
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼