逆ぎゃく

命題めいだい「$p\Rightarrow q$」の逆ぎゃくとは、仮定かていと結論けつろんを入いれ替かえた「$q\Rightarrow p$」のことです。

もとの命題めいだい	逆ぎゃく
$p\Rightarrow q$	$q\Rightarrow p$
正方形せいほうけい$\Rightarrow$長方形ちょうほうけい（真しん）	長方形ちょうほうけい$\Rightarrow$正方形せいほうけい（偽にせ）

ここで大切たいせつなのは、もとの命題めいだいが真しんであっても逆ぎゃくが真しんとは限かぎらないことです。「正方形せいほうけいならば長方形ちょうほうけい」は真しんですが、その逆ぎゃく「長方形ちょうほうけいならば正方形せいほうけい」は偽にせです（長方形ちょうほうけいには正方形せいほうけいでないものがある）。

注意ちゅうい 「逆ぎゃくもまた真しんなり」は数学すうがくでは一般いっぱんに成なり立たない。逆ぎゃくの真偽しんぎはもとの命題めいだいとは無関係むかんけいに確たしかめる必要ひつようがある。逆ぎゃくが真しんになるのは必要十分条件ひつようじゅうぶんじょうけんのとき。