(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
テンプレート:Sister
命題「p⇒q」に対して、「q⇒p」を、元の命題の逆(ぎゃく)と言う。
ある命題とその逆の真偽は、必ずとも一致しない(逆は必ずしも真ならず)。この表現は日常生活や数学の中でことわざのように使用されることがある。
一致するような命題については「逆もまた真である」などと表現する。これは本来の用法とは異なる。「p⇒q」が真であり、「q⇒p」も真であるときに、 p と q は同値(必要十分条件)であるという。
日常生活では、逆も必ず真であるような誤謬をすることもある。(後件肯定)
関連項目
テンプレート:Math-stub