![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
「a^2+b^2=c^3ならば、a、b、cのうち少なくとも1つは偶数である」 (pならばq)
という命題を証明するために背理法を使います。
すると
「a^2+b^2=c^3という条件のもとで a、b、cはすべて奇数である」(pかつ¬q)と仮定することになると思います。
この仮定に矛盾が生じれば背理法が成立しますが
この仮定に矛盾が生じるのは
「a,b,cが全て奇数ならば a^2+b^2=c^3 ではない」 (¬qならば¬p)が証明されたときだけなのでしょうか?
まだ論理について勉強しはじめたばかりで記号があまり理解できないので
記号は使わずに説明していただけると助かります。
No.1ベストアンサー
- 回答日時:
質問の内容が少しわかり難いけど、つまりはそういうこと。
背理法はある意味、命題の対偶を証明する(直接的には)ことになるから、結果対偶と同値の命題であるもとの命題も証明されたことになるって感じかな。
この回答への補足
回答ありがとうございます。
私もそのように考えていて
今「対偶法と背理法の関係」について調べているところなのです。
そこで
例えば
「a,b,cが全て奇数ならば a^2+b^2=c^3 ではない」 (¬qならば¬p)は対偶ですが
a^2+b^2=c^3 ではない ならば a,b,cが全て奇数」 (¬pならば¬q) が証明されたとしても矛盾が生じたことになって背理法は成立しますが
これは命題の対偶を証明することにはならないですよね。
背理法の成立する数多くある条件の中で対偶を証明することになると考えられるものがあると考えておけばいいんでしょうか?
No.3
- 回答日時:
a^2+b^2≠c^3⇒a,b,cが全て奇数
が証明できたとしても、背理法が成立したことにはなりません。
背理法による操作としては、
a,b,cが全て奇数であると仮定して、a^2+b^2=c^3という式にあてはめてみると、どのようなa,b,cを持ってきてもなりたたない、
つまり、a^2+b^2≠c^3がわかるわけで、
a^2+b^2≠c^3であるとして、a,b,cが全て奇数であることを導いたわけではないんです。
No.2
- 回答日時:
>「a,b,cが全て奇数ならば a^2+b^2=c^3 ではない」 (¬qならば¬p)が証明されたときだけなのでしょうか?
いいえ、そうとも限りません。p∧¬qの仮定から矛盾が導き出せればすべてOKです。例えば今回の場合、p∧¬qは(a^2+b^2=c^3)∧(aは奇数)∧(bは奇数)∧(cは奇数)ですね。
なので、(a^2+b^2=c^3)かつ(cは奇数) ならば (aは偶数)または(bは偶数) が証明されても矛盾ですね。(a^2+b^2=c^3)かつ(aは奇数)かつ(bは奇数) ならば (cは偶数) が証明されても矛盾ですね。
>a^2+b^2=c^3 ではない ならば a,b,cが全て奇数」 (¬pならば¬q) が証明されたとしても矛盾が生じたことになって背理法は成立しますが
p∧¬qの仮定と¬pならば¬qの成立は矛盾ではありません。よって背理法は成立しません。
矛盾とは仮定からある命題Xと¬Xの両方が導き出されることです。このときXはどんな命題でもよろしい。
蛇足1:問題に議論領域が明示されていません。奇数という言葉からa,b,cは整数と想像はできるけれど。
蛇足2:対偶で証明できるのなら無理して背理法を使う必要はありませんね。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学B漸化式です。 a1=1/5, an+...
-
高校数学、論理
-
対偶法による無理数の証明につ...
-
数学の背理法について質問です...
-
「逆もまた真なり」について
-
高校数学です!m,nを整数とする...
-
命題の問題がわかりません・・...
-
有理数を文字置き→互いに素な整...
-
a,bが有理数のとき、a+b√2=0 な...
-
n=3の倍数ならば、n=6の倍数で...
-
命題を証明せよとはどういう意...
-
a>0、b>0⇔a+b>0、ab>0
-
背理法について質問があります...
-
不完全定理により、「ある命題...
-
nが自然数のとき、2^n +1 +3^2...
-
高1の数学の問題です
-
数学での背理法について
-
x≠1⇒xの二乗≠1の真偽
-
高1です。数学の問題ですが、...
-
強い仮定、弱い仮定、とは
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
命題「PならばQ」でPが偽ならば...
-
数学の背理法について質問です...
-
矛盾と両立
-
命題を証明せよとはどういう意...
-
n=3の倍数ならば、n=6の倍数で...
-
「逆もまた真なり」について
-
高校数学です!m,nを整数とする...
-
数学の論理学的な質問なんです...
-
背理法について
-
有理数を文字置き→互いに素な整...
-
カントールの対角線論法につい...
-
a>0、b>0⇔a+b>0、ab>0
-
命題論理に関する英単語
-
a,bが有理数として√6が無理数を...
-
「逆は必ずしも真ならず」の証...
-
ウェイソン選択課題について悩...
-
対偶法による無理数の証明につ...
-
数学的帰納法の根本的な疑問な...
-
必要条件、十分条件についてで...
-
強い仮定、弱い仮定、とは
おすすめ情報