[過去ﾛｸﾞ] 背理法不要論ってどうなん？ (459ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
35(2): 2018/05/21(月)21:18 ID:x7a2VNRA(1) AAS
明らかに「背理法」が変な証明もあるのでそれは排除した方がよい。
例えばある集合からそれの冪集合への全射がないことを示すのに、
「全射があったと仮定する」と言いながら、全射であるという条件を使わず、
単に写像であるということだけから値域に入らないものを作ってる。
それで「背理法の仮定に反する」という証明。変だよな。
普通に、「集合から冪集合への写像は全射ではない」と言えばいいだけだから。
36: 2018/05/22(火)00:20 ID:CLEbNfNq(1) AAS
>>35
そういうのまれにあるよな
218(1): 2018/08/11(土)06:57 ID:/7veEAAF(3/5) AAS
>>35
>「全射があったと仮定する」と言いながら、全射であるという条件を使わず、
俺の知ってる証明は全射であることを使ってるけど
使わない証明ってどういうのか教えて
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.329s*