No.3ベストアンサー
- 回答日時:
> どうしてb≠0と仮定するのか分かりません。
他の仮定でもいいのでしょうか?b≠0と仮定しなければいけないわけではありません。
b≠0と仮定したら上手くいったというだけで、他の仮定でもいいのです。
例えば、a≠0なんかでもいいですね。
証明は、定理に対して一本道で決まっているものではなく、
いろいろやってみて、上手くいったら成功だという性質のもの。
「どうしてb≠0と仮定するのか」という方向で考えるのは無意味です。
あえて言えば、b≠0と仮定したら上手くいく件の証明が
たまたま見通せたから、b≠0と仮定した とでも言えるかな。
No.4
- 回答日時:
a=b=0
を証明するのだから
a=b=0
が成り立たない
b≠0
と仮定するのです
そこから矛盾を導くことによって
a=b=0
が成り立たないという仮定が誤り、
つまり
a=b=0
が成り立つと結論付けることを
背理法といいます
No.2
- 回答日時:
あ、背理法の説明が欲しいのか...
日頃我々が使っている証明系は、
排中律が成り立つ... 任意の命題 P について
P ∧ ¬P は偽であるものと仮定されています。
(この部分がそれでいいのか? について語りだすと、
数学基礎論の闇が待っています。華麗にスルーして
排中律は成り立つものとしておきましょう。)
すると、ド・モルガンの定理によって
¬(P ∧ ¬P) = ¬P ∨ ¬¬P が真なので、
P = P ∨ 真
= P ∨ (¬P ∨ ¬¬P)
= (P ∨ ¬P) ∨ ¬¬P
= 真 ∨ ¬¬P
= ¬¬P
となります。
示したい定理 P について (¬P)⇒偽 が示せたとすれば、
「⇒」の定義から
真 = (¬P)⇒偽
= (¬¬P)∨偽
= P∨偽
= P
となり、P が真であることが判ります。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・歩いた自慢大会
- ・許せない心理テスト
- ・字面がカッコいい英単語
- ・これ何て呼びますか Part2
- ・人生で一番思い出に残ってる靴
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・初めて自分の家と他人の家が違う、と意識した時
- ・単二電池
- ・チョコミントアイス
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
a>0、b>0⇔a+b>0、ab>0
-
数Ⅰの問題です x,yは実数、nは...
-
nが自然数のとき、2^n +1 +3^2...
-
命題「PならばQ」でPが偽ならば...
-
高1の数学の問題です
-
強い仮定、弱い仮定、とは
-
x≠1⇒xの二乗≠1の真偽
-
4枚のカードの問題
-
「逆もまた真なり」について
-
カントールの対角線論法につい...
-
数学的帰納法の根本的な疑問な...
-
命題について
-
数学的な質問です 1➕1≠2と仮定...
-
記号論理
-
pならばqである の否定について
-
背理法が成り立つ理由
-
ユークリッド幾何学にまつわる...
-
振込手数料の計算
-
図の数独について、提示した基...
-
有理数+無理数=無理数 の証明
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
命題「PならばQ」でPが偽ならば...
-
n=3の倍数ならば、n=6の倍数で...
-
高校数学 ドモルガンの法則につ...
-
命題を証明せよとはどういう意...
-
数学の背理法について質問です...
-
命題論理に関する英単語
-
「逆もまた真なり」について
-
a>0、b>0⇔a+b>0、ab>0
-
強い仮定、弱い仮定、とは
-
有理数を文字置き→互いに素な整...
-
高校数学、論理
-
数学の論理学的な質問なんです...
-
a,bが有理数として√6が無理数を...
-
数学B漸化式です。 a1=1/5, an+...
-
青チャートに、「命題p⇒qの否定...
-
x≠1⇒xの二乗≠1の真偽
-
高1の数学の問題です
-
ウェイソン選択課題について悩...
-
数学で出てくる十分性と必要性...
-
高校数学です!m,nを整数とする...
おすすめ情報