逆

命題「p⇒q」に対して、「q⇒p」を、元の命題の逆（ぎゃく、）と言う。

ある命題とその逆の真偽は、必ずとも一致しない（逆は必ずしも真ならず）。この表現は日常生活や数学の中でことわざのように使用されることがある。

一致するような命題については「逆もまた真である」などと表現する。これは本来の用法とは異なる。「p⇒q」が真であり、「q⇒p」も真であるときに、 p と q は同値（必要十分条件）であるという。

命題「p⇒q」に対して、逆「q⇒p」の対偶「￢p⇒￢q」を、元の命題の裏と言う。命題「p⇒q」に対して、対偶「￢q⇒￢p」の逆「￢p⇒￢q」は裏に等しくなる。全ての命題に対して、逆と裏の真偽は一致する。

逆も必ず真であるような誤謬をすることもある。（後件肯定）

関連文献

関連項目 

裏
後件肯定
後件否定
対義語 - 日常的に用いる「逆」（反対の意）はこちら。本記事の「逆」とは意味が異なる。
対偶

外部リンク 

推論規則
直接推論
初等数学
数学に関する記事