背理法について

次の命題を考えます

n^2が偶数⇒nは偶数

「これを証明するために背理法を用いてこの命題の否定であるn^2が偶数∧nは奇数が真であると仮定して、
矛盾を導く。
今、nは奇数なのであるkが存在して２k+1と表せる。(２k+1)^2=2(2k^2+2k)+1より、n^2は奇数。
よってn^2が偶数∧nは奇数のn^2が偶数という条件と矛盾。

よって命題はただしい。（方針はこれでお願いします）」

ここで、n=2のとき、上同様に証明してみるとおかしなことに命題の否定が真になってしまいます。

2^2が偶数⇒２は偶数を証明するためにこの命題の否定である２^2が偶数∧２は奇数が真であると仮定して、２が奇数なので２^2＝４より偶数よって２^2が偶数∧２は奇数はしんになり、2^2が偶数⇒２は偶数は偽になる（？）

これはどこがいけないのでしょうか。

一般のnが証明できたからn＝２の時も成り立つのではないのでしょうか。

よろしくお願いします。

No.6 回答者： Tacosan 回答日時： 2014/04/23 12:14

「背理法」が何かというのは「証明」そのものの根幹にかかわるので微妙だったりします＞#4.

ちなみに
2^2が偶数⇒２は偶数を証明するためにこの命題の否定である２^2が偶数∧２は奇数が真であると仮定して、２が奇数なので２^2＝４より偶数よって２^2が偶数∧２は奇数はしんになり、2^2が偶数⇒２は偶数は偽になる（？）
自体は... えっと, 「２が奇数なので２^2＝４より偶数」が意味不明かな.
・「なので」がどこから出てくるのか不明
・「何が」偶数だといっているのかが分からない
というあたり. 最初と最後だけをつなげば, より正確には
「２^2が偶数」∧「２は奇数」を仮定すると「2^2が偶数⇒２は偶数は偽」が導ける
という点においてどこも間違ったところはありません.

この回答への補足

＞「２^2が偶数」∧「２は奇数」を仮定すると「2^2が偶数⇒２は偶数は偽」が導ける

確かに導けますが、背理法は命題の仮定から矛盾を導かなければならないのに、これじゃあおかしくないでしょうか。

あともう一つなんですが、前回の質問で、偽の仮定をしたら、どんな命題も証明できてしまうとおっしゃっていましたが、確かに真理表を見ればp⇒qの命題はpが偽であればqは何であれ命題はしんになります。

ならば背理法という証明方法自体、偽の命題を仮定している時点で絶対矛盾が生じることはないのではないでしょうか

何回もすみません・・・

どうかよろしくお願いします

補足日時：2014/04/24 10:38

No.5 回答者： mojitto 回答日時： 2014/04/23 09:36

＃３です。

ちなみに…

質問者さまが背理法で証明しようとしたときのｋは、整数でなければなりません。

ただｎ＝２の場合は、そもそもｋは整数ではあり得ません。
ただしここで（ｎ＝２にするために）強引にｋ＝０．５とした場合、式に代入したらちゃんとｎ＾２＝４となりますよ。
ちゃんと計算しましたか？

つまり命題はちゃんと証明できてます。

質問者さまの言われる矛盾は、勝手にｋの解釈を変えたからです。

No.4 回答者： asuncion 回答日時： 2014/04/22 23:44

＞n^2が偶数⇒nは偶数

＞「これを証明するために背理法を用いて
＞この命題の否定であるn^2が偶数∧nは奇数が真であると仮定して、

3行目の中ほどにある「偶数∧」の「∧」の意味がわかりません。

なお、背理法というのは、命題を否定するのではなく、
結論（今回の場合は「nは偶数」）を否定（つまりnは奇数とする）して
議論を進めていくと、正しいとされているはずの前提（今回の場合は「n^2は偶数」）
との間に矛盾が起きることを示して、
元の命題が真であることを証明する、という手法です。

この回答への補足

命題自体を否定するのであってると思いますが...

記号はかつ、という意味です

補足日時：2014/04/23 08:17

No.3 回答者： mojitto 回答日時： 2014/04/22 23:31

ｎが奇数であるとき、ｋはどのような数でしょうか。

ではそのｋの取り得る条件でｎ＝２は可能でしょうか？

先のｋと後のｋが別物であってはいけませんよ。

No.2 回答者： funoe 回答日時： 2014/04/22 23:06

>2^2が偶数⇒２は偶数を証明するためにこの命題の否定である２^2が偶数∧２は奇数が真であると仮定して、

の「２^2が偶数∧２は奇数」は偽なので、これを「仮定」したら、あらゆる命題が証明できてしまいます。


もとの論旨は、
「ＡかつＢを仮定して、￢Ａが示せるのでＡかつ￢Ａであるから矛盾」としていますが、
「２^2が偶数∧２は奇数」を「ＡかつＢ」とすると、前提(偶数奇数の定義）から￢Ｂが示せています。

つまり「ＡかつＢを仮定して、￢Ｂが示せるのでＢかつ￢Ｂであるから矛盾」となっています。


いや、もちろん、手間暇かければ「どんな命題でも証明できる」ので、
「ＡかつＢを仮定して」、一旦「￢Ｂが示せるの」で「Ｂかつ￢Ｂであるから矛盾」を経由して「￢Ａ」を証明することもできるのでしょうけど無意味に感じます。

この回答への補足

nとおくと、奇数か偶数かがわからないから2k＋1から矛盾を証明できましたが、n=2の場合、2は偶数ということからBかつ(Bでない)が導かれる、ということですか？つまり、nとn=2では証明方法が違うということですか？

補足日時：2014/04/23 08:29

No.1 回答者： bgm38489 回答日時： 2014/04/22 22:50

n=2の時、

今、nは奇数なのであるkが存在して２k+1と表せる？