「対偶」の版間の差分

ナビゲーションに移動 検索に移動
4 バイト追加 、 1年7月19日 (I)
リンクを追加
(文法上の修正。)
(リンクを追加)
7行目: 7行目:
は命題でない。かつ、これを以下の通りに証明することはできない。
は命題でない。かつ、これを以下の通りに証明することはできない。
  xは偶数でない、すなわち奇数であると仮定する。<br>2つの奇数の積は、これもまた奇数である。<br>したがってx<sup>2</sup>は奇数である、すなわち偶数でない。<br>ゆえに、xが整数であるとき、x<sup>2</sup>が偶数であるならば、xもまた偶数である。
  xは偶数でない、すなわち奇数であると仮定する。<br>2つの奇数の積は、これもまた奇数である。<br>したがってx<sup>2</sup>は奇数である、すなわち偶数でない。<br>ゆえに、xが整数であるとき、x<sup>2</sup>が偶数であるならば、xもまた偶数である。
もし上に記述されていることは古典論理学において自明の事実とされないならば、豚が飛ぶ。
もし上に記述されていることは古典論理学において自明の事実とされないならば、[[豚が飛ぶ]]。


==概要(現代論理学)==
==概要(現代論理学)==
3,314

回編集

案内メニュー