[過去ﾛｸﾞ] 大学学部レベル質問スレ 27単位目 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
344(2): 2024/07/02(火)23:03 ID:sPBBtPN8(19/25) AAS
>>343
じゃあ x≦y と x⊂y の同値性を証明してみてよ。
正しく証明できたら、それはそれで
「 ¬(x∈x)をどうやって証明するのか？」
に対する別の証明法を君が提示できたことになる。
345(2): 2024/07/02(火)23:09 ID:fVUU8q5M(8/12) AAS
>>344
なんでそんなことしなきゃいかんの？
348: 2024/07/02(火)23:35 ID:sPBBtPN8(21/25) AAS
ここまでのまとめ。
君：Sx∈Sxならばx∈xで、∅∉∅なんだから、x∉xなのは当たり前 (>329)
俺：「S(x)∈S(x)ならばx∈x」は簡単には示せない。
実際、「x∈y∈x」から「x∈x」を導出する部分に
大きなギャップがある。(>335)
君：そこはx≦yとx⊂yの同値性を使えばいいじゃん。(>339)
俺：x≦yとx⊂yが同値であることは自明ではなく、証明が必要。
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.047s