[過去ﾛｸﾞ]
大学学部レベル質問スレ 27単位目 (1002ﾚｽ)
大学学部レベル質問スレ 27単位目 http://rio2016.5ch.net/test/read.cgi/math/1718312586/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
313: １３２人目の素数さん [sage] 2024/07/02(火) 17:35:45.16 ID:sPBBtPN8 実際に(**)の同値性を検証してみよう。 x∈y が成り立つとする。x⊃y でないことを示したい。 背理法を使う。もし x⊃y ならば、これと x∈y から、 x∈y⊂x すなわち x∈x となる。 ↑このように、(**)の同値性を示す途中で x∈x に遭遇してしまう。 よって、先に ¬(x∈x) が証明できてなければならない。 しかし、¬(x∈x) を証明するより先に 「(**)なら簡単に示せるはず」というのが UTyjqEFh の戦略だったはずだから、これでは企画倒れ。 http://rio2016.5ch.net/test/read.cgi/math/1718312586/313
317: １３２人目の素数さん [sage] 2024/07/02(火) 20:11:29.92 ID:fVUU8q5M >>313 それもまだ示せてないなら、そっちから先に証明しとけばいいだろ http://rio2016.5ch.net/test/read.cgi/math/1718312586/317
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.030s