)
対偶 (論理学) - Wikipediaこの記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "対偶" 論理学 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2013年8月） 対偶（たいぐう、英: Contraposition）とは、ある命題に対して、その命題の仮定と結論をそれぞれその否定に置き換えた上で両者を入れ替えた命題のことをいう。 定義[編集] 命題「AならばB」の対偶は「BでないならばAでない」である。 論理記号として「ならば ()」および否定 () を用いると、命題 の対偶は である。 なお、 の対偶は厳密には ではなく、 である。 通常の数学では古典論理を用いるため、命題「AならばB」とその対偶「BでないならばAでない
