レス書き込み
スレへ戻る
写
レス栞
レス消
Inter-universal geometry と ABC予想 (応援スレ) 77
PC,スマホ,PHSは
公式(スマホ)
公式(PC)
で書き込んでください。
名前
メール
引用切替:
レスアンカーのみ
>>513 > >>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は全てQのなかにすっぽり入っていて欲しいのです > ここで、PのくせにQからはみ出している奴ら「 p かつ (qでない) 」を仮定してこいつらについて考えます > そこで矛盾を導き出すことで、こんなはみ出し者どもは居ない、ということを証明し、PはすべてQの中にすっぽりと入っていること、すなわちp⇒qを証明するのです > これが背理法ですね > > つづく
ローカルルール
SETTING.TXT
他の携帯ブラウザのレス書き込みフォームはこちら。
書き込み設定
で書き込みサイトの設定ができます。
・
公式(スマホ)
・
公式(PC)[PC,スマホ,PHS可]
書き込み設定(板別)
で板別の名前とメールを設定できます。
メモ帳
(0/65535文字)
上
下
板
覧
索
設
栞
歴
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.018s