この記事は(検証可能)な(参考文献や出典)が全く示されていないか、不十分です。（2017年2月） |
命題「p⇒q」に対して、「q⇒p」を、元の命題の逆（ぎゃく、英: converse）と言う。
ある命題とその逆の真偽は、必ずとも一致しない（逆は必ずしも真ならず）。この表現は日常生活や数学の中でことわざのように使用されることがある。
一致するような命題については「逆もまた真である」などと表現する。これは本来の用法とは異なる。「p⇒q」が真であり、「q⇒p」も真であるときに、 p と q は同値（必要十分条件）であるという。
命題「p⇒q」に対して、逆「q⇒p」の対偶「￢p⇒￢q」を、元の命題の裏と言う。命題「p⇒q」に対して、対偶「￢q⇒￢p」の逆「￢p⇒￢q」は裏に等しくなる。全ての命題に対して、逆と裏の真偽は一致する。
関連文献
は列挙するだけでなく、(脚注)などを用いてしてください。 |