逆含意

逆含意（ぎゃくがんい、英: converse implication）は、含意（= 論理包含）の逆、つまり任意の2つの命題 P と Q について、Q が P を含意するならば、P は Q の逆含意である。 逆含意は p ← q, p ⊂ q, Bpq のような形式で表記され、「p でないなら q でない」、「q ならば p」などと読む。 英語では、 "p if q" に相当する。