[過去ログ]
Inter-universal geometry と ABC 予想 45 (1002レス)
Inter-universal geometry と ABC 予想 45 http://rio2016.5ch.net/test/read.cgi/math/1582883006/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
961: 132人目の素数さん [] 2020/04/04(土) 09:16:59 ID:DZ3hypNA >>935 それじゃあ証明してください 例題は すべてのカラスは黒い ⇒ 少なくとも1羽の黒いカラスが存在する です 僕は無理だと思いますよ 何せ前件で何も存在を言ってないのですから http://rio2016.5ch.net/test/read.cgi/math/1582883006/961
979: 132人目の素数さん [] 2020/04/04(土) 10:50:26 ID:DZ3hypNA >>974 >∀x P(x)から∃x P(x) 具体例は A∧B ⇒ A∨B これですか? 証明してください http://rio2016.5ch.net/test/read.cgi/math/1582883006/979
983: 132人目の素数さん [] 2020/04/04(土) 11:02:38 ID:DZ3hypNA >>978 >なぜなら対象が1つも存在しない場合 ¬(∃xP(x))等値∀x¬P(x) 存在が一つもないときの否定はすべてのカラスは黒くない ですよね いまそんな話はしていません http://rio2016.5ch.net/test/read.cgi/math/1582883006/983
984: 132人目の素数さん [] 2020/04/04(土) 11:04:05 ID:DZ3hypNA >>983 あるカラスは存在せずかつ黒くない という話ではありません ある黒いカラスは存在しない つまり黒いかどうかはどうでもよく すべてのカラスは黒い から カラスは存在すること言えるか という問題です 僕はできないと思います http://rio2016.5ch.net/test/read.cgi/math/1582883006/984
991: 132人目の素数さん [] 2020/04/04(土) 11:42:44 ID:DZ3hypNA >>987 x:カラス F:黒い ¬(∃xP(x))等値∀x¬P(x) 理解できるか? 今言ってるのは ∀xP(x) ⇒ ∃xP(x) ∀x¬P(x)ではない ちなみに ∀xP(x)の否定は¬(∀xP(x))等値∃x¬P(x) 今の議論と全く関係がない http://rio2016.5ch.net/test/read.cgi/math/1582883006/991
995: 132人目の素数さん [] 2020/04/04(土) 12:13:44 ID:DZ3hypNA >>991 ああFじゃなくてPね x:カラス P:黒い http://rio2016.5ch.net/test/read.cgi/math/1582883006/995
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.035s