逆含意

逆含意（ぎゃくがんい、）は、含意（= 論理包含）の逆、つまり任意の2つの命題 "P" と "Q" について、"Q" が "P" を含意するならば、"P" は "Q" の逆含意である。
逆含意は "p" ← "q", のような形式で表記され、「"p" でないなら "q" でない」、「"q" ならば "p"」などと読む。 英語では、 "p if q" に相当する。
定義.
真理値表.
A ← B の真理値表は以下。
ベン図.
「B ならば A」を表すベン図（左の円がAに、右の円がBに対応する。赤い領域は命題が真で、白い領域は命題が偽であることを示す。）：
ブール代数.
ブール代数において、 "p" ← "q" は と等価である。