TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
ホモの肛門は激臭
確率論とそれに近い分野のスレ
思考盗聴器を開発せよ
志村逝く
数論幾何
国立大医学部の問題です。だれか解いてください
(・∀・)ヤコビヤーン! 2
5日間のうちに株を売ると決めている場合、いつ売ると最も期待値が高いか?但し株価は無作為に変動します
0.999...は1じゃないことを数学的に厳密に証明したったwwww パゲェヤァああww
あしたのために(その1)
159 :
>>137-139

>間違っている。スレ主は、その場合分けが「証明の中での議論」であったことを忘れている。
>証明の中の場合分けで先に定理Cを使うことで特定の場合分けを排除してしまったら循環論法であり、
>それでは定理Cの証明にならない。

意味わからん
私スレ主が言っている”場合分け”は、普通に 命題論理 藤田聡 広島大学のPDFの”proof by cases”のこと
特別のことをいうつもりはない。”場合分け”は、多分古典論理学内で、古代ギリシャからあると思う

>>157)定理1.7
”R−Bf が内点を持たない閉集合の高々可算和で被覆できる”の条件下で、

一つの典型例が、系1.8の「有理数=R−Bf」の場合で、この場合、「有理数=R−Bf」はR中で稠密だ。だから、その補集合たる「無理数=Bf」内には、開区間は取れない
もう一つが、「整数=R−Bf」で、稠密でないから、「Bf」内に、開区間が取れる

ところが、場合分けとして、「無理数=R−Bf」とか、「超越数=R−Bf」は、できない
”内点を持たない閉集合の高々可算和で被覆できる”の条件に、合致しないからだ

同様に、「定理C: f:R → R が原点で微分可能ならば、f は原点で連続である」 で、場合分け ”(1) f は原点で連続 (2) f は原点で不連続”は不可
命題論理 藤田聡 広島大学のPDFの”proof by cases”をご参照

http://home.hiroshima-u.ac.jp/fujita/Class/Kisoron/logic.pdf
命題論理 藤田聡 広島大学(2009年度版)
(抜粋)
<証明手法>
P85
proof by cases
(p1∨p2∨・・・∨pn)→q
を示すのに
(p1→q)∧(p2→q)∧・・・∧(pn→q)
を示す
(引用終り)

現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
確率論とそれに近い分野のスレ
ポエムはここに書いてね 2
分からない問題はここに書いてね460
世界最大の数学者は誰だと思う?
数学 統計に詳しい人が語るコロナウイルス
あしたのために(その1)
集合論について
なぜ∞という数が存在すると思ってる学生が多いのか
虚数は存在するか?
--------------------
■サモンナイト3徹底攻略■
ハイビームさげないカスに復讐する方法
池江璃花子と誰を交配させたい?
【平和】CRAガールズ&パンツァー 99.9ver part15【甘ガルパン】
【 #元維新 】 #丸山穂高 議員 体調不良で24日の衆院議運委での聴取は見送りに ★3
【Youtube】『KAZUYA Channel』がBAN →別チャンネルで急上昇1位 →メインチャンネル復活 ネット「香山の反応が見たい」
IDにgasが出るまでブボボ(`;ω;´)モワッするスレ14
プラチナエイジ その1
【YouTube】Apex Legends総合スレ【Twitch】 Part.9
草加大介のナンパ塾について語るスレ
【書評】拉致を「密出国」と報じる朝日新聞は今も死んでいる…櫻井よしこが読む『メディアは死んでいた 検証 北朝鮮拉致報道』[6/10]
Monkey's Audio part4
最近の南波杏ってえらくソフトだな
ナインティナイン岡村隆史のオールナイトニッポン43
【芸能】安倍昭恵氏、花見自粛要請の中で私的「桜を見る会」していた NEWS手越らと ★3
【質問】同人板アンケートスレ59【複数回答】
◆18RNb.QRl6 2
日蓮宗 大本山 池上本門寺
ASHのアイシャのおへそはカワイイ
【サッカー】HSVで構想外の伊藤達哉、シント=トロイデンへ買い取りOP付きレンタル近づく
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼