TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
奇数の完全数の存在に関する証明は正しいはず
人工知能は数学者になれるか?
惑星ニビルの衝突
現代数学の系譜 カントル 超限集合論2
ホモの肛門は激臭
【新海誠】君の名は。
Octaveやmaximaなどの数学系のフリーソフトのスレ
現代数学の系譜 工学物理雑談 古典ガロア理論も読む65
世界最大の数学者は誰だと思う?
Inter-universal geometry と ABC予想 53
18 :
>>13
以前書いていた
>ベールの第一類集合R−Bfについて、1)R中稠密でない場合、2)R中稠密な場合、に、二分できる。
>1)のR中稠密でない場合は、定理1.7の命題は「 P∧Q → Q 」なので、証明可
>2)のR中稠密な場合は、定理1.7の命題は「 P∧ notQ → Q 」なので、証明不可能
>つまり、2)のR中稠密な場合においては、命題レベルで矛盾を含んでいるから、証明不可能
の2)の認識は間違いであることは飲み込めたでしょうか?

それを踏まえた上での話になりますが
現在あなたは定理を
P'∧(Q'1∨Q'2)->Q
すなわち
(P'∧Q'1->Q)∧(P'∧Q'2->Q)
と場合分けし
Q'2が¬Qを含意する
とは
Q'2->¬Qが真
という意味で使っているのですね?

そして現在のあなたの主張は
``Q'2->¬Q が真である場合に P'∧Q'2->Q は真ではない''
ということでしょうか?

分からない問題はここに書いてね446
7777で10作れる奴いんの?
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47
コラッツ予想がとけたらいいな その2
■■■■■■■■■■■■■   人工太陽
数学で一番美しい数ってなんだと思う?
数学書が高すぎる、安くで学びたい
森毅 先生が好きな人 手あげて^^
■複素空間論ー宇宙人の居場所■
数学の本 第84巻
--------------------
【HP】 Pavilion Notebook PC ★10
■■■日本一小山三さん!!最強!!■■■
【台風19号】新聞配達員の妻「助けてください。明日も自転車で新聞配達させられます。死んでしまいます。」 ★2
【真・大都市限定】積雪降雪対決1【札仙東横名京大神岡広福】
【KADOKAWA】BOOK☆WALKER 95冊目
【ニコニコ】渋野日向子 ★76【しぶこ】
【BFT】NAOKIアンチスレ 45ヤキソバ【HG REVIVE】
薄汚い腐れ国家 韓国 フッ素横流しの責任を当初日本に押しつけるつもりだった事が判明 完全断交へ
【THE REAL McCOY 'S】 リアルマッコイズvol.21
【参院選情勢調査】 野党「年金ガーーー!」 →国民「OK 年金大事だから自民に入れるわ」
【コロナ】お茶の水付属校、1カ月余休校に 新型肺炎の感染拡大受け
短編推理 あなたは解けるか? Part5
【ニコニコ】渋野日向子 ★64修正【しぶこ】
海外旅行が大好きな奥様 33
【占い】凛スレッガー・ロウ【ダイエット】
◆学会員さん『ニセ本尊』で検索しよう◆
【サッカー】<元コスタリカ代表GK>「日本で引退したい。帰化もいい」衝撃受けた“日本文化”とは?「ゴミ箱が…」
多重派遣は犯罪
懐かしいスポーツを狼住人が語るとすごい
ジョギング初心者スレ -50kg
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼