逆非含意

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

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

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

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

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

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