逆含意

逆含意（ぎゃくがんい、）は、含意（= 論理包含）の逆、つまり任意の2つの命題 P と Q について、Q が P を含意するならば、P は Q の逆含意である。

逆含意は  , ,  のような形式で表記され、「 でないなら  でない」、「 ならば 」、「 は  の必要条件」と読む。 英語では、 "P if Q" に相当する。

 定義 
 真理値表 
A ← B の真理値表は以下。
 A B A←B                    

 ベン図 
「B ならば A」を表すベン図（左の円がAに、右の円がBに対応する。赤い領域は命題が真で、白い領域は命題が偽であることを示す。）：

150x150ピクセル

 性質 
 真理保存性  全ての変数の真理値が真ならば、逆含意も必ず真になる性質がある。

 ブール代数 
ブール代数において、 p ← q は  と等価である。

 脚注 

 関連項目 
 論理的結合
 論理包含（十分条件）

Category:論理結合子
Category:数学に関する記事