[過去ログ]
Inter-universal geometry と ABC 予想 45 (1002レス)
Inter-universal geometry と ABC 予想 45 http://rio2016.5ch.net/test/read.cgi/math/1582883006/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
978: 132人目の素数さん [] 2020/04/04(土) 10:44:59 ID:CTVUpSZE >>974 >∀x P(x)から∃x P(x)は証明できる これも、正しくは嘘 なぜなら対象が1つも存在しない場合も ¬∃x¬P(x)だから∀xP(x)が導ける http://rio2016.5ch.net/test/read.cgi/math/1582883006/978
980: 132人目の素数さん [] 2020/04/04(土) 10:53:52 ID:CTVUpSZE >>976 誰がレフェリーだったのかは気になる http://rio2016.5ch.net/test/read.cgi/math/1582883006/980
987: 132人目の素数さん [] 2020/04/04(土) 11:28:09 ID:CTVUpSZE >>983 そもそも黒いカラスも黒くないカラスも存在しない場合 「全てのカラスは黒くない」も「全てのカラスは黒い」も成立する そういう話 http://rio2016.5ch.net/test/read.cgi/math/1582883006/987
994: 132人目の素数さん [] 2020/04/04(土) 12:12:56 ID:CTVUpSZE >>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) だとしたら 矛盾する つまりウソ http://rio2016.5ch.net/test/read.cgi/math/1582883006/994
998: 132人目の素数さん [] 2020/04/04(土) 12:41:38 ID:CTVUpSZE >>997 今回の場合、隠ぺい工作といわれても仕方ないな http://rio2016.5ch.net/test/read.cgi/math/1582883006/998
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.029s