TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
自然対数ｅっていったい何者なの？
くだらねぇ問題はここへ書け
現代数学の系譜11 ガロア理論を読む28
数学って結局暗記ゲーなの？
【虚数乗法論】 志村五郎 【志村多様体】
【あさひ】高校数学の質問スレPart397
Inter-universal geometry と ABC予想 41
多様体4
なんじゃこら哲也
現代数学の系譜 カントル 超限集合論
- 21 ：
- >>18
「ぷふ」さん、どうもスレ主です。
>>２）のR中稠密な場合は、定理1.7の命題は「 P∧ notQ → Q 」なので、証明不可能
>>つまり、２）のR中稠密な場合においては、命題レベルで矛盾を含んでいるから、証明不可能
>の2)の認識は間違いであることは飲み込めたでしょうか？
いいえ。なお、ここは後で詳しく説明します
>Q'2->¬Qが真
>という意味で使っているのですね？
はい
>そして現在のあなたの主張は
>``Q'2->¬Q が真である場合に P'∧Q'2->Q は真ではない''
>ということでしょうか？
はい。Q'2→¬Qが導けますから、P'∧Q'2 → P'∧¬Q → Q となります。
P'∧¬Q → Q で、条件（仮定）命題が真のとき、結論命題Qは偽です。
（下記の真理値表からの引用ご参照）
追伸
先の「2)の認識」は、直上の真理値表による説明の通りです。詳しくは後で。
https://ja.wikipedia.org/wiki/%E7%9C%9F%E7%90%86%E5%80%A4%E8%A1%A8
真理値表
(抜粋)
例1：命題Pの否定「 {\displaystyle \lnot P} \lnot P」の場合、以下のような真理値表になる。
命題 P ¬P
真 偽
偽 真
(引用終わり)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む74
チャート式の例題写しても全く分からない訳だが
哲学を理解できない馬鹿が、数学や物理に逃げる
ピンク・スライム
関数解析（Functional Analysis）
なぜ本当に数学ができる奴は医学科へ行くのか
現代数学の系譜11 ガロア理論を読む27
中1の弟が数学好きなようだから先取りさせたい
無職だから最近数学の勉強をしている
面白い問題おしえて〜な 27問目
--------------------
【 D4DJ 】(ディーフォーディージェー)総合スレPart5
【韓国東北アジア歴史財団】「竹島(独島)領有権を主張する日本領土館は閉館しなければならない」[1/22]
【九州】祐徳稲荷神社【信仰】
【PCG】ポケモンカードゲームpart209【ポケカ】
ソニー「iPodはインフラ」iPod周辺機器業者に転落
MADMEN part3
地方・中央応援スレ779
【バンナム】Synchronica(シンクロニカ) part4
韓国籍パク･キョンベ強姦容疑者（朴 慶培、偽名:新井浩文)、｢本番行為禁止｣の念書に署名捺印★3
元のダメなとこを羅列してみよう
【気軽?】WEB拍手・その39【ｳｻﾞｲ?】
アメリカの政治に興味が無い北米板住人
フラシム動画を集めるスレ
【マネパ】マネーパートナーズ93【グルメ】
【小田急線】町田駅周辺のネットカフェ【横浜線】
【経団連】中西会長、コロナ「みんなで一致してねじ伏せるしかない」 ★2
【ZAR】南アフリカランドPart887
Nintendo Switch総合スレ★1353
プロ野球板分割投票スレッド
【Thai anyone】 2NE1 ★ 15 【Don'tStopTheMusic】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
