非含意

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

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

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

 真理値表 
 の真理値表は以下。
命題 P  命題 Q  P  Q            

 関連項目 
論理包含
逆非含意
真理値
真理値表
ベン図

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