[過去ログ] Inter-universal geometry と ABC 予想 45 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
978
(1): 2020/04/04(土)10:44 ID:CTVUpSZE(1/5) AAS
>>974
>∀x P(x)から∃x P(x)は証明できる

これも、正しくは嘘

なぜなら対象が1つも存在しない場合も
¬∃x¬P(x)だから∀xP(x)が導ける
980: 2020/04/04(土)10:53 ID:CTVUpSZE(2/5) AAS
>>976
誰がレフェリーだったのかは気になる
987
(1): 2020/04/04(土)11:28 ID:CTVUpSZE(3/5) AAS
>>983
そもそも黒いカラスも黒くないカラスも存在しない場合
「全てのカラスは黒くない」も「全てのカラスは黒い」も成立する

そういう話
994: 2020/04/04(土)12:12 ID:CTVUpSZE(4/5) AAS
>>991
>¬(∃xP(x))⇔∀x¬P(x)

そして¬∃x¬P(x)⇔∀xP(x)

つまり
(¬∃xP(x) ∧ ¬∃x¬P(x))⇔(∀x¬P(x) ∧ ∀xP(x))

∀xP(x)⇒∃xP(x) だとしたら 矛盾する

つまりウソ
998: 2020/04/04(土)12:41 ID:CTVUpSZE(5/5) AAS
>>997
今回の場合、隠ぺい工作といわれても仕方ないな
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.040s