3,270
回編集
「対偶」の版間の差分
ナビゲーションに移動
検索に移動
細
箇条書きマーク(？)を削除
編集の要約なし |
細 (箇条書きマーク(？)を削除) |
||
| 11行目: | 11行目: | ||
xを整数とする。x<sup>2</sup>が偶数であるならば、xもまた偶数である。 | xを整数とする。x<sup>2</sup>が偶数であるならば、xもまた偶数である。 | ||
は命題でない。かつ、これを以下の通りに証明することはできない。 | は命題でない。かつ、これを以下の通りに証明することはできない。 | ||
xは偶数でない、すなわち奇数であると仮定する。<br>2つの奇数の積は、これもまた奇数である。<br>したがって、仮定において、x<sup>2</sup>は奇数である、すなわち偶数でない。<br>ゆえに、x<sup>2</sup>が偶数であるならば、xもまた偶数である。 | |||
==例== | ==例== | ||