提供: miniwiki
移動先:案内検索


命題「p⇒q」に対して、「q⇒p」を、元の命題の(ぎゃく、: Converse)と言う。

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

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

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

日常生活では、逆も必ず真であるような誤謬をすることもある。(後件肯定

関連項目

関連文献

外部リンク

テンプレート:Mathlogic-stub