命題「p⇒q」に対して、「q⇒p」を、元の命題の'''逆'''(ぎゃく)と言う。
ある命題とその逆の真偽は、'''必ずとも一致しない'''('''逆は必ずしも真ならず''')。この表現は日常生活や数学の中でことわざのように使用されることもある。
一致するような命題については「逆もまた真である」などと表現する。これは本来の用法とは異なる。「p⇒q」が真であり、「q⇒p」も真であるときに、 p と q は同値(必要十分条件)であるという。
日常生活では、逆も必ず真であるような誤謬をすることもある。(後件肯定)
対偶
裏
対義語 - 日常的に用いる「逆」(反対の意)とは意味が異なる。
後件肯定
後件否定
出典:フリー百科事典『ウィキペディア(Wikipedia)』