TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
プラスマイナスゼロ
東京理科大学理工学部数学科
【数学者】大類昌俊【総合】 Part4
現代数学の系譜 工学物理雑談 古典ガロア理論も読む43
9―3÷1/3+1=? 新入社員の正答率4割
量子テレポーテーション× ⇒ 位相変換
wwwww小説を読むスレwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
Inter-universal geometry と ABC予想 16
数学ボーイがモテルための必要十分条件とは
ルベーグ積分や測度論のスレ その2
219 :
(>>218の続き)
そうして背理法の枠組みの中で命題 P→Q を示すにあたり、偽の命題 P∧ ¬Q を仮定して、
有限回の推論で矛盾を導くと、矛盾を導けた原因は偽の命題 P∧ ¬Q を仮定したことにあるから、
命題 P→Q を示すにあたり仮定した偽の命題 P∧ ¬Q は否定されることになる。
そうすると、背理法の推論の過程では P∧ ¬Q を否定した命題 ¬(P∧ ¬Q)=¬P ∨ ¬¬Q=¬P ∨Q が得られることになる。
つまり、Pでない または Qである といえることになる。示すべき命題 P→Q を背理法で示すにあたり、
仮定のPは元から仮定されているから、Pであることがいえて、「Pでない」ということはあり得ない。
だから、「Qである」ことがいえる。つまり結論Qが得られる。
そのようにして、命題 P→Q を背理法で示すようになる。背理法の推論の仕組みとしては、そのようになっている。

スレ主は、今回の場合、仮定のPにあたる定理1.7の「R-Bfが可算個の疎な閉集合で被覆できる」を完全に適用していない。
それ故に、背理法を正しく適用出来ていないことになる。

現代数学の系譜11 ガロア理論を読む24
【生保・損保】アクチュアリー資格試験スレ【年金】
世界最大の数学者は誰だと思う?
数学者になりたいけど無理そうだったらAIに携わる仕事に就きたい場合数学科は良い選択ですか?
受験終わったから大学の数学に手を出したいんだけど
高校数学の質問スレPart404
数学の本 第90巻
P=NP
数学って結局暗記ゲーなの?
キチガイ関数一覧表できたよー(R→R編)
--------------------
Mr低視聴率とんねるずはナゼ笑いも数字もとれない?41
ハーメルンについて語るスレ711
本格ミステリ・ベスト10
【義士】在韓日本大使館前の車で火災発生、車内にいた男性を搬送[07/19]
【総合スレ】龍が如く【四百三十三代目】 Part.2
キングコング西野公論 372
【空の青さを】あいみょん Part.20【知る人よ】
お前らがアソコを舐めたい女性タレントって誰?◆18
バックドロップシンデレラ Part.3
東北地方+新潟実況Part772
北海道民いい加減にしろ
☆★★アーチストクラウド総合1★★★
ラーメン二郎横浜関内店27店目
【バーチャルYouTuber】.LIVEアイドル部アンチスレ#7635【アップランド】
笑えるAA貼っていって
FF8総合Part168
【御同朋】浄土真宗(真宗)総合サロン99【御同行】
アベンジャーズ AVENGERS マーベル・シネマティック・ユニバース MCU 336
小松菜奈ファンスレ★13
NHK職員はみんな受信料で生活してます
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼