裏うら

命題めいだい「$p\Rightarrow q$」の裏うらとは、**仮定かていと結論けつろんをどちらも否定ひていした「$p‾\Rightarrow q‾$」**のことです。

名称めいしょう	形かたち	もとの命題めいだいとの真偽しんぎ
命題めいだい	$p\Rightarrow q$	—
逆ぎゃく	$q\Rightarrow p$	一致いっちするとは限かぎらない
裏うら	$p‾\Rightarrow q‾$	一致いっちするとは限かぎらない
対偶たいぐう	$q‾\Rightarrow p‾$	必かならず一致いっち

もとの命題めいだいと裏うらの真偽しんぎは一致いっちしないことが多おおいです。一方いっぽう、逆ぎゃくと裏うらの真偽しんぎは必かならず一致いっちします（逆ぎゃくと裏うらは互たがいに対偶たいぐうの関係かんけいだから）。

覚おぼえ方かた 命題めいだいと対偶たいぐうはペアで真偽しんぎ一致いっち、逆ぎゃくと裏うらもペアで真偽しんぎ一致いっち。この 2 つのペアを図ずにすると 4 つの関係かんけいが整理せいりできる。