逆非含意

P $\nleftarrow$ Q のベン図による表現。Pは左に、Qは右に配置されている。

逆非含意（ぎゃくひがんい）は、逆含意の否定、つまり第1命題が偽で第2命題が真のときのみ真となる論理演算である。

逆非含意は $P\nleftarrow Q$ のような形式で表記され、「p でないのに q である」といったように読む。

性質

古典論理においては、否定 ¬ と論理積 ∧ で表せる。

$(P\nleftarrow Q)\iff \mathrm{\neg }(P\leftarrow Q)\iff (\mathrm{\neg }P\wedge Q)$

真理値表

$P\nleftarrow Q$ の真理値表は以下。

命題 P	命題 Q	P $\nleftarrow$ Q
テンプレート:Yes2	テンプレート:Yes2	テンプレート:No2
テンプレート:Yes2	テンプレート:No2	テンプレート:No2
テンプレート:No2	テンプレート:Yes2	テンプレート:Yes2
テンプレート:No2	テンプレート:No2	テンプレート:No2

関連項目

• 逆含意
• 非含意
• 真理値
• 真理値表
• ベン図