查看“︁实质非蕴涵”︁的源代码

{{unreferenced|time=2016-10-03T01:35:49+00:00}}
[[File:Venn0100.svg|thumb|240px|<math>A \nrightarrow B</math>的[[文氏图]]<br><br>[[File:Venn0101.svg|32px]] <math>\land</math> [[File:Venn1100.svg|32px]] <math>\Leftrightarrow</math> [[File:Venn0100.svg|40px]] <math>\Leftrightarrow \neg</math> [[File:Venn1011.svg|32px]] ]]
实质非蕴涵是对[[实质蕴涵]]的否定。即是说：对于任何两个命题P和Q，当且仅当非P实质蕴涵Q，P实质非蕴涵Q。用更显明的话语来解释就是：由P到Q的实质非蕴涵仅在P为真，Q为假时成立。

逻辑学符号可以如此表示实质非蕴涵:
:: '''p⊅q'''
:: '''Lpq'''
:: '''p↛q'''

实质非蕴涵等同于:
:: '''p∧~q'''
== 定义 ==
===真值表===
{| border="1" cellpadding="1" cellspacing="0" style="text-align:center;"
|+
! style="width:35px;background:#aaaaaa;" | p
! style="width:35px;background:#aaaaaa;" | q
! style="width:35px" | <math>~\nrightarrow</math>
|-
| T  || T  || F
|-
| T  || F  || T
|-
| F  || T  || F
|-
| F  || F  || F
|}
=== 语用 ===
“P但不是Q”
{{逻辑联结词}}
[[Category:逻辑联结词]]