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