対偶

サイエンス

対偶

たいぐう

命題 A ¥to Bにたいして、 ¥bar{B} ¥to ¥bar{A}のこと。

もとの命題の裏および逆を取ったもの。


もとの命題が真であればその対偶も真であり、もとの命題が偽であればその対偶も偽である。