逆含意

逆含意（ぎゃくがんい、英: converse implication）は、含意（= 論理包含）の逆、つまり任意の2つの命題 P と Q について、Q が P を含意するならば、P は Q の逆含意である。 逆含意は p ← q, p ⊂ q, Bpq[要出典] のような形式で表記され、p でないなら