命題めいだい 「p ⇒ q」 に 対たい し て、 「p で な い ⇒ q で な い」 と い う 形かたち の 命題めいだい。
裏うらとは、命題めいだい「p⇒qp \Rightarrow qp⇒q」に対たいして「ppp でない ⇒q\Rightarrow q⇒q でない」という形かたちの命題めいだいです。元もとの命題めいだいが真しんでも裏うらが真しんとは限かぎりません。
たとえば「正方形せいほうけい⇒\Rightarrow⇒長方形ちょうほうけい」(真しん)の裏うら「正方形せいほうけいでない ⇒\Rightarrow⇒長方形ちょうほうけいでない」は偽にせです。
ポイント 裏うらは逆ぎゃくの対偶たいぐう、逆ぎゃくは裏うらの対偶たいぐう。だから「逆ぎゃくと裏うらの真偽しんぎは一致いっちする」。4つの関係かんけいを図ずで整理せいりして覚おぼえる。