命題めいだい 「p⇒qp \Rightarrow qp⇒q」 に対たいし、 仮定かてい と 結論けつろん を どちら も 否定ひてい し た 「p‾⇒q‾\overline{p} \Rightarrow \overline{q}p⇒q」。
命題めいだい「p⇒qp \Rightarrow qp⇒q」の裏うらとは、仮定かていと結論けつろんをどちらも否定ひていした「p‾⇒q‾\overline{p} \Rightarrow \overline{q}p⇒q」のことです。
もとの命題めいだいと裏うらの真偽しんぎは一致いっちしないことが多おおいです。一方いっぽう、逆ぎゃくと裏うらの真偽しんぎは必かならず一致いっちします（逆ぎゃくと裏うらは互たがいに対偶たいぐうの関係かんけいだから）。
覚おぼえ方かた 命題めいだいと対偶たいぐうはペアで真偽しんぎ一致いっち、逆ぎゃくと裏うらもペアで真偽しんぎ一致いっち。この 2 つのペアを図ずにすると 4 つの関係かんけいが整理せいりできる。
