[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.io/test/read.cgi/math/1761878205/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
513: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 16:42:37.17 ID:P9qVEF++ >>492 補足 背理法とベン図 及び 背理法の使いどき 下記 『ただ1通りに表される vs 2通りの表し方がある』は、手筋です https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1499735909 ove********さん 2013/1/4 背理法ってベン図かなにかで可視化できませんか？ https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1399736633 ove********さん 2013/1/4 なぜp⇒qという命題の背理法では結論を否定して矛盾を見つけるんですか？ ベストアンサー qxx********さん 2013/1/5 証明方法の原理はベン図で考えると分かりやすいです p⇒qというのは、ベン図で言うなら、Pという集合の中に属しているなら、Qという集合の中に必ず属しているということと同義です(図1) 例えばpを4の倍数qを2の倍数としてみましょうか 図1と同じベン図になるのことが分かりますね では背理法で行う「 p かつ (qでない) 」ことを仮定して、否定するというのはベン図で言うとどういうことか？ 「 p かつ (qでない) 」は図2の斜線部分に相当します 本当は図1のようにPは全てＱのなかにすっぽり入っていて欲しいのです ここで、ＰのくせにＱからはみ出している奴ら「 p かつ (qでない) 」を仮定してこいつらについて考えます そこで矛盾を導き出すことで、こんなはみ出し者どもは居ない、ということを証明し、PはすべてＱの中にすっぽりと入っていること、すなわちp⇒qを証明するのです これが背理法ですね つづく http://rio2016.5ch.io/test/read.cgi/math/1761878205/513
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 489 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.024s