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