逆含意（ぎゃくがんい、英: converse implication）は、含意（= 論理包含）の逆、つまり任意の2つの命題 P と Q について、Q が P を含意するならば、P は Q の逆含意である。 逆含意は P ⇐ Q {\displaystyle P\Leftarrow Q} , P ← Q {\displaystyle P\leftarrow Q} , p ⊂ q, Bpq のような形式で表記され、「 P {\displaystyle P} でないなら Q {\displaystyle Q} でない」、「 Q {\displaystyle Q} ならば P {\displaystyle P} 」、「 P {\displaystyle P} は Q {\displaystyle Q} の必要条件」と読む。
逆含意（ぎゃくがんい、英: converse implication）は、含意（= 論理包含）の逆、つまり任意の2つの命題 P と Q について、Q が P を含意するならば、P は Q の逆含意である。 逆含意は P ⇐ Q {\displaystyle P\Leftarrow Q} , P ← Q {\displaystyle P\leftarrow Q} , p ⊂ q, Bpq のような形式で表記され、「 P {\displaystyle P} でないなら Q {\displaystyle Q} でない」、「 Q {\displaystyle Q} ならば P {\displaystyle P} 」、「 P {\displaystyle P} は Q {\displaystyle Q} の必要条件」と読む。
出典: Wikipedia「逆含意」 · CC BY-SA 4.0
この記事を共有: X · Bluesky