逆非含意のソースを表示

[[File:Venn0010.svg|thumb|''P'' <math>\nleftarrow</math> ''Q'' の[[ベン図]]による表現。''P''は左に、''Q''は右に配置されている。]]
'''逆非含意'''（ぎゃくひがんい）は、[[逆含意]]の[[否定]]、つまり第1[[命題]]が[[偽]]で第2命題が[[真]]のときのみ真となる[[論理演算]]である。

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

== 性質 ==
[[古典論理]]においては、否定 ¬ と[[論理積]] ∧ で表せる。
:<math>(P \nleftarrow Q) \Leftrightarrow \lnot(P \leftarrow Q) \Leftrightarrow (\lnot P \land Q)</math>

=== 真理値表 ===
<math>P \nleftarrow Q</math> の真理値表は以下。
{| border=1 cellpadding=2 cellspacing=0
|- style="background-color:#ccc"
!命題 ''P'' !! 命題 ''Q'' !! ''P'' <math>\nleftarrow</math> ''Q''
|- align="center"
| {{yes2|真}}|| {{yes2|真}}|| {{no2|'''偽'''}}
|- align="center"
| {{yes2|真}}|| {{no2|偽}}|| {{no2|'''偽'''}}
|- align="center"
| {{no2|偽}}|| {{yes2|真}}|| {{yes2|'''真'''}}
|- align="center"
| {{no2|偽}}|| {{no2|偽}}|| {{no2|'''偽'''}}
|}

== 関連項目 ==
* [[逆含意]]
* [[非含意]]
* [[真理値]]
* [[真理値表]]
* [[ベン図]]

{{sci-stub}}
{{論理演算}}
{{Normdaten}}
{{DEFAULTSORT:きやくひかんい}}
[[Category:論理結合子]]
[[Category:数学に関する記事]]