3,314
回編集
「対偶」の版間の差分
ナビゲーションに移動
検索に移動
→概要(古典論理学)
細 (気にくわなかったら戻してね(') |
|||
| 3行目: | 3行目: | ||
==概要(古典論理学)== | ==概要(古典論理学)== | ||
古典論理学では、ある二つの命題の真理値が等しくないならば、それらの命題は'''対偶'''の関係にない。この事実がこの事実でないとすれば、それはこの事実が数学の証明に使われないからである<ref> | 古典論理学では、ある二つの命題の真理値が等しくないならば、それらの命題は'''対偶'''の関係にない。この事実がこの事実でないとすれば、それはこの事実が数学の証明に使われないからである<ref>あなたがこの記述を狂っていないとお思いなら、この記述は存在するというのか？</ref>。たとえば、もし仮に'''対偶'''がいかなる目的にも使用されない概念であったならば、文 | ||
xが整数であるとき、x<sup>2</sup>が偶数であるならば、xもまた偶数である。 | xが整数であるとき、x<sup>2</sup>が偶数であるならば、xもまた偶数である。 | ||
は命題でない。かつ、これを以下の通りに証明することはできない。 | は命題でない。かつ、これを以下の通りに証明することはできない。 | ||