TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【大学院へ】 30過ぎて、数学の道へ　その２
分からない問題はここに書いてね456
現代数学はインチキのデパート
加藤毅は引用2
【自称数学者】三鷹の大類昌俊2018-2【つどい出禁】
奇数の完全数の存在に関する証明は正しいはず
●●●　「無限」とはどういうことなのか？　●●●
小中学校範囲の算数・数学の問題のスレ　Part 55
分からない問題はここに書いてね456
軍事機密にされた私が日本数学会事務局宛てに書いた素数の式。
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 を示さないといけない。

現代数学の系譜 古典ガロア理論を読む36
数学 難易度総合ランキング（偏差値）
フーリエ変換・ラプラス変換
人工知能は数学者になれるか？
理系思考の残念な点
関東弁は下品なエビス言葉と認めるしかないのでは？
ホモトピー,ホモロジー,ホモロジー代数コホモロジー
【未解決問題】奇数の完全数が存在しないことの証明3
現代数学の系譜 工学物理雑談 古典ガロア理論も読む53
お前ら数理工学に来ないか？
--------------------
☆★★MLB統一スレッド475★★★
【メルカリ】フリマアプリ総合 part.22【フリル】
言いたいことだけ言って立ち去るスレッドPart2773
中華カーボンフレーム 44台目
摩天楼オペラ29
ローソンのＢＧＭを元に戻せ！
gedit -gnomeテキストエディタ-
☆苫小牧★中学校最強はどこだ？★釧路★
スパロボにおける声優＆声優ネタ総合スレ
【五輪】佐野研二郎も代ゼミ野郎【パクリ騒動】
【sola】四方茉莉と森宮蒼乃とゆかいな仲間たちトマトしるこ15本目
プラスティック・メモリーズ 61
米国内で凋落する“韓国人観”…従軍慰安婦像もさして話題にならず　韓国人の日本人観だけが世界で孤立している
【Myprotein】マイプロテイン 171
docomo Xperia Z5 Premium SO-03H Part34
【KEIHIN】ケーヒンってどうよ part13【HONDA】
究極の仕事　ゴミ処理浄水下水処理場31
【今年も一桁回数1位】笑いも視聴率も取れない老害低視聴率王ダウンタウン嫌いな芸人1位 ６すべり
【悲報】桜井玲香さん手ブラまで披露したのに初動19000部の大爆死！
X JAPAN THREAD SHOCK #1191
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼