空集合があるなら空写像もあるの？ (69ﾚｽ)

空集合があるなら空写像もあるの？ http://rio2016.5ch.net/test/read.cgi/math/1728054661/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

61: １３２人目の素数さん [] 2025/09/29(月) 12:45:42.38 ID:t8iNrpWU Xを集合とする。 (1)∀y(¬y∈{}) 前提 (2)¬c∈{} (1)と∀除去 (3)¬c∈{}∨¬d∈X (2)と選言導入 (4)∃x∃y(¬y∈{}∨¬x∈X) (3)と∃導入 (5)¬(∀x∀y(y∈{}∧x∈X)) (4)とドモルガンの法則と二重否定除去 ∴{}×X:={(y,x)|y∈{}∧x∈X}={} http://rio2016.5ch.net/test/read.cgi/math/1728054661/61

62: １３２人目の素数さん [] 2025/09/29(月) 14:06:07.67 ID:t8iNrpWU 訂正 Xを集合とする。 (1)∀y(¬y∈{}) 前提 (2)¬c∈{} (1)と∀除去 (3)¬c∈{}∨¬d∈X (2)と選言導入 (4)∀x∀y(¬y∈{}∨¬x∈X) (3)と∀導入 (5)¬(∃x∃y(y∈{}∧x∈X)) (4)とドモルガンの法則と二重否定除去 ∴{}×X:={(y,x)|y∈{}∧x∈X}={} http://rio2016.5ch.net/test/read.cgi/math/1728054661/62

63: １３２人目の素数さん [sage] 2025/09/29(月) 22:28:42.38 ID:t8iNrpWU 直感的な説明としては y∈{}が恒偽だからx∈Xの真偽にかかわらずy∈{}∧x∈Xも恒偽。よって{(y,x)|y∈{}∧x∈X}={(y,x)|⊥}={}。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/63

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.017s