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