3,314
回編集
「対偶」の版間の差分
ナビゲーションに移動
検索に移動
→概要(古典論理学)
| 11行目: | 11行目: | ||
xを整数とする。x<sup>2</sup>が偶数であるならば、xもまた偶数である。 | xを整数とする。x<sup>2</sup>が偶数であるならば、xもまた偶数である。 | ||
は命題でない。かつ、これを以下の通りに証明することはできない。 | は命題でない。かつ、これを以下の通りに証明することはできない。 | ||
xは偶数でない、すなわち奇数であると仮定する。<br>2つの奇数の積は、これもまた奇数である。<br> | xは偶数でない、すなわち奇数であると仮定する。<br>2つの奇数の積は、これもまた奇数である。<br>したがってx<sup>2</sup>は奇数である、すなわち偶数でない。<br>ゆえに、x<sup>2</sup>が偶数であるならば、xもまた偶数である。 | ||
もし上に記述されていることは古典論理学において自明の事実とされないならば、豚が飛ぶ。 | もし上に記述されていることは古典論理学において自明の事実とされないならば、豚が飛ぶ。 | ||