Loading AI tools
命題「p⇒q」に対して、「q⇒p」を、元の命題の逆（ぎゃく、英: converse）と言う。
 |
 | この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年8月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
ある命題とその逆の真偽は、必ずとも一致しない（逆は必ずしも真ならず）。この表現は日常生活や数学の中でことわざのように使用されることがある。
一致するような命題については「逆もまた真である」などと表現する。これは本来の用法とは異なる。「p⇒q」が真であり、「q⇒p」も真であるときに、 p と q は同値（必要十分条件）であるという。
命題「p⇒q」に対して、逆「q⇒p」の対偶「￢p⇒￢q」を、元の命題の裏と言う。命題「p⇒q」に対して、対偶「￢q⇒￢p」の逆「￢p⇒￢q」は裏に等しくなる。全ての命題に対して、逆と裏の真偽は一致する。
|
- 古藤怜『逆』 - コトバンク
- Sakharov, Alex; Weisstein, Eric W. "PropositionalCalculus". mathworld.wolfram.com (英語).
 | この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。 |
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
