非含意

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

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

性質

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

(P\nrightarrow Q)\Leftrightarrow \lnot (P\rightarrow Q)\Leftrightarrow (P\land \lnot Q)

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