TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
関数解析
奇数の完全数の存在に関する証明が完成しました2
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47
角の三等分は可能なのだそうだ
【自称数学者】三鷹の大類昌俊 Part8【つどい出禁】
現代数学の系譜 工学物理雑談 古典ガロア理論も読む49
現代数学の系譜 工学物理雑談 古典ガロア理論も読む81
小中学校範囲の算数・数学の問題のスレ Part 55
【親切】理想の質問【丁寧】パート❷
数学の本 第85巻
- 28 ：
- >>27 つづき
あと、ここ
スレ50 https://rio2016.2ch.sc/test/read.cgi/math/1516499937/602
602 名前：１３２人目の素数さん[sage] 投稿日：2018/02/08(木) 00:17:44.89 ID:c/0Ko2ch
(抜粋)
証明は既に終わっている。
定理1.7 により、定理1.7.2 は仮定が偽の命題であることが即座に従うｗ
(引用終わり)
その論法は、証明論としては、おかしい。
定理1.7.2は、定理1.7の場合分けした中の一つの場合だから、定理1.7が真とすれば、普通は条件（仮定）命題は“真”だ。
その場合分けの定理1.7.2の仮定も真で無ければならない。つまり、証明の場合分けは、仮定命題を細分化したものだからだ。
「定理1.7の仮定 ＝定理1.7.1の仮定 ∨ 定理1.7.2仮定」 なのだから、定理1.7の仮定が真で定理1.7.2の仮定が偽はありえない。（論理学の基本）
なお、命題「P’∧Q’2（開区間（a,b）⊂Bfが存在しない）→Q（ある開区間（a,b）⊂Bfが存在する）」は、数学の定理として証明できない。
これは、自明だと思うので、詳細は省略する。
つづく
現代数学はインチキのデパート
現代数学の系譜11 ガロア理論を読む31
羽生善治応援スレ
あたまをよくするほうほうをおしえてください
5次方程式の解を表現できる数体系
大学受験数学如きで挫折して文系に行くやつｗｗｗｗ
Daniel Marcus Graph Theory を読む。
プログラミングBASIC言語について。
『解析概論』について5
数学の本 第89巻
--------------------
大戸屋さん、ツイッター更新。ウキウキからの落差が悲しい [304868982]
民度の低い虚カスニートを世界中に晒そう part3
WPF(XAML, XBAP, .NET4.0)GUIプログラミング Part19
竹原ピストル Part7
【許認可で】行政書士本職スレ 別記様式第100号【食っていけ】
インド映画16
井上ジョー TENGUBOY Part.4
【不倫擁護する俺かっけー】芸能界の男ども“総出”で東出昌大を過剰擁護の異常事態！★9
● mabinogi -マビノギ- 相談スレ13 ●
東京 江東区の雀荘
コンピュータウィルスの研究者集合
妊娠【前期】12週〜21週までの奥様 264
【熱田さん】愛知県の神社仏閣2【だけじゃない】
戦慄 豪雨災害のゴミの中からダイナマイト
勝手に後発医薬品
【バーチャルYoutuber】にじさんじ有ンチスレ10769【リゼ10万人配信19:00〜】
米津玄師 Vol.27
【おもえばとおくへ】なおるよ！in びっぷら【きたもんだ】
【法制】カトリック教会、今後、死刑を一切認めない立場に方針変更 ローマ法王「死刑は人間の尊厳への攻撃だ」
【PSG】Paris Saint-Germain part36
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼