【未解決問題】奇数の完全数が存在しないことの証明5at MATH【未解決問題】奇数の完全数が存在しないことの証明5 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト750:１３２人目の素数さん 19/10/21 13:33:01.00 W+qhWKou.net 安達クラスｷﾀｺﾚ 751:◆pObFevaelafK 19/10/21 15:36:50 //heuA0N.net ∀x_1, x2∈X，x_1=x_2 否定は ヨx_1, x2∈X，x_1≠x_2 だから ＞∀x_1，x_2∈X， x_1≠x_2 ⇒ f(x_1)≠f(x_2) ＞の対偶は f(x_1)=f(x_2) ⇒ ヨx_1, x2∈X，x_1=x_2 これと ヨx_1, x2∈X, f(x_1)=f(x_2) ⇒ x_1=x_2 が同値かという問題がある 752:１３２人目の素数さん 19/10/21 16:31:26 N10WMZTR.net > ∀x_1，x_2∈X，x_1≠x_2 ⇒ f(x_1)≠f(x_2) は ∀x_1，x_2∈X，「x_1≠x_2 ⇒ f(x_1)≠f(x_2)」 であって 「∀x_1，x_2∈X，x_1≠x_2」 ⇒ f(x_1)≠f(x_2) ではないので「∀x_1，x_2∈X，x_1≠x_2」の否定を論ずる意味は皆無ですね 753:◆pObFevaelafK 19/10/21 17:30:57 //heuA0N.net 皆無というのは誰からみても論理破綻 754:１３２人目の素数さん 19/10/21 20:18:32 ZCza45Cc.net >>727 ああ ∃x_1，x_2∈X； f(x_1)=f(x_2)を仮定する という言い回しが間違いですかね あるx_1，x_2∈Xを適当に選び， f(x_1)=f(x_2) を仮定する☆ 写像の定義から f(x_1)=x_1 f(x_2)=x_2 であり仮定☆より x_1=x_2 である ゆえにfは単射である □ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch