対偶

読み:たいぐう
外語:contraposition , antithesis
品詞:名詞

P⇒Qという命題に対して、¬Q⇒¬Pのこと。すなわち

対偶の真偽は常にと一致する。