TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
工学部の一年生だけど院は数学科にいきたい
９―３÷１／３＋１＝？ 新入社員の正答率４割
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47
数学板の天才方、表現論の教科書教えてください 数論方面で
0.99999……は１ではない その２
■■■■■■■■■■■■■ 人工太陽
現代数学の系譜 工学物理雑談 古典ガロア理論も読む54
数学を初めとした理系の学問と哲学について
現代数学の系譜 工学物理雑談 古典ガロア理論も読む56
現代数学はインチキのデパート
- 62 ：
- >>61 つづき
>>仮定命題Pを場合分けして、P ＝ P1∨P2 と書けるという単純な話です
>また若干異なった主張になっていますが現在のあなたの主張は
>``P2->¬Qが真であるときP1∨P2->Qは偽である''
>ということでしょうか？
そう難しく考えて貰う必要はないと思います。単純な証明論の場合分けですから
「仮定命題Pを場合分けして、P ＝ P1∨P2 と書けるという単純な話です
（>>23より）
P1：R−Bf：RにおけるBfの補集合で、ベールの第一類集合で、R中稠密でない、とする。
P2：R−Bf：RにおけるBfの補集合で、ベールの第一類集合で、R中稠密である、とする。」
なお、下記 命題論理 藤田聡 広島大学のPDFの”proof by cases”ご参照
http://home.hiroshima-u.ac.jp/fujita/Class/Kisoron/logic.pdf
命題論理 藤田聡 広島大学（2009年度版）
(抜粋)
＜証明手法＞
P85
proof by cases
(p１∨p２∨・・・∨pｎ)→q
を示すのに
(p１→q)∧(p２→q)∧・・・∧(pｎ→q)
を示す
(引用終り)
つづく
ラマヌジャン、ってナニモノ？
♂♂♂♂♂♂♂♂♂♂♂ 嫉妬
現代数学の系譜11 ガロア理論を読む26
ピンク・スライム
ジョン・ナッシュ氏が交通事故で死去
現代数学の系譜 工学物理雑談 古典ガロア理論も読む50
岡潔について教えて
Inter-universal geometry と ABC予想 40
奇数の完全数の存在に関する証明が完成しました2
関数解析（Functional Analysis）
--------------------
岡山県の市役所・町村役場スレッド
RPGでいらない魔法
錢高組
【戦闘機】フランスで「大天使計画」が正式スタート 最後の審判を告げるラッパを吹く存在でもある
【画像】サイゼリヤ史上最もうまいメニューが完成 ｢やみつきアンチョビフリコは人間版チュールだ｣→62000いいね！ [875850925]
Presonus Studio One ver.29
実質クォッカ1634
【グルコス】GROOVE COASTER 44【AC】
iOS13、不具合多すぎで阿鼻叫喚。Appleの技術力低下が原因か
ビックバンを否定しまくるスレ
DJ NOBU
グラスワイン＜も＞美味しく飲ませる店
【何も】ダメ院生スレ601【期待しないでください】
C言語をやりたいんですが
賀喜はバズるのに筒井あやめが全くバズらない件
テレフォン人生相談 236
【スーパーボール】1972年±3年のおっさん集まれ【モーラー】
【統一】自衛官の犯罪・不祥事・懲戒処分スレッド総合３
がんばっていきまっしょい part3
アホ発言連発で叩かれまくる馬鹿松本人志の悪評 ３
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
