現代数学の系譜 カントル 超限集合論他 3at MATH現代数学の系譜 カントル 超限集合論他 3 - 暇つぶし2ch280:132人目の素数さん 21/08/22 09:51:31.89 QZFJZsWw.net>>262 ∀x(x∈A⇒x∈B) ⇔∀x(x∉A∨x∈B) ⇔∀x¬(x∈A∧x∉B) つまり、∀x(x∉A)、すなわちAが空集合なら ∀x(x∈A⇒x∈B)は自動的に成り立つ 一方 ∀x(x∈A⇒x∈B)から ∃x(x∈A∧x∈B)はいえない ∃x(x∈A)、すなわちAが空集合でない という条件が必要だから 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch