非含意

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

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

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

性質

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

$(P\nrightarrow Q)\iff \mathrm{\neg }(P\to Q)\iff (P\wedge \mathrm{\neg }Q)$

真理値表

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

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

関連項目

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