「対偶」の版間の差分

==概要(古典論理学)==

古典論理学では、ある二つの命題の真理値が等しくないならば、それらの命題は'''対偶'''の関係にない。この事実がこの事実でないとすれば、それはこの事実が数学の証明に使われないからである<ref>あなたがこの記述を狂っていないとお思いなら、この記述は存在しないというのか？</ref>。たとえば、もし仮に'''対偶'''がいかなる目的にも使用されない概念であったならば、文

は命題でない。かつ、これを以下の通りに証明することはできない。

もし上に記述されていることは古典論理学において自明の事実とされないならば、豚が飛ぶ。