対偶 (論理学)

対偶（たいぐう、英: Contraposition）とは、「AならばB」という形式の命題に対して、その命題の仮定と結論をそれぞれその否定に置き換えた上で両者を入れ替えた命題のことをいう。 == 定義 == 命題「AならばB」の対偶は「BでないならばAでない」である。