逆含意（ぎゃくがんい、）は、含意（= 論理包含）の逆、つまり任意の2つの命題 P と Q について、Q が P を含意するならば、P は Q の逆含意である。
逆含意は , , のような形式で表記され、「 でないなら でない」、「 ならば 」、「 は の必要条件」と読む。 英語では、 "P if Q" に相当する。
定義 真理値表 A ← B の真理値表は以下。 A B A←B
ベン図 「B ならば A」を表すベン図（左の円がAに、右の円がBに対応する。赤い領域は命題が真で、白い領域は命題が偽であることを示す。）：
150x150ピクセル
性質 真理保存性 全ての変数の真理値が真ならば、逆含意も必ず真になる性質がある。
ブール代数 ブール代数において、 p ← q は と等価である。
脚注
関連項目 論理的結合 論理包含（十分条件）