[過去ログ] 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