とき。 ヵ を仮定して9を導くの
ほ とい
ことを還生レー 計を学ぼう。
上 9
命題カマ ダ" のような場合に有効
難なこともある< この
が困難ひこ
回 対偶を利用する証明 .半6 次のことがいえる。
寺偶の真偽は一至 織
命題とその対偶の
5
証明
対偶を利用する証明
' 命題のみヲ69 を証明するのに,
その対偶 9 の を証明してもよい。
ウ と ! eK ー 副 ー ゅ こっ 」 表
> 守 真である とを証明する とを 単( 「命題を証明する 計
注意 p題が真
10 現した。
毅軒 ヵは整数とする。対側を利用して, 次の命題を証明せよ。
〒 7 が偶数ならば, ヵ は偶数である。
| 対信 「ヵが奇数ならば, "は奇数である」を証明する。
| /が奇数のとき, ヵはある整族#ぁを用いて ヵ 2を1 と表き |
5 ( れる。 !
折るのとき証 ゲニ(24 19ニ4だ25
=2(2だ26)二1
2だ十2 は整数であるから, は奇数である。
2 回 "半数とする。 対仙を利用して、 次の
命題を証明せよ。
7 が奇数なら ば, ヵ は奇数である。