实质非蕴涵

$A\nrightarrow B$的文氏图

$\land$ $\Leftrightarrow$ $\Leftrightarrow \neg$

实质非蕴涵是对实质蕴涵的否定。即是说：对于任何两个命题P和Q，当且仅当非P实质蕴涵Q，P实质非蕴涵Q。用更显明的话语来解释就是：由P到Q的实质非蕴涵仅在P为真，Q为假时成立。

逻辑学符号可以如此表示实质非蕴涵:

p⊅q

Lpq

p↛q

实质非蕴涵等同于:

p∧~q

定义

真值表

p	q	$~\nrightarrow$
T	T	F
T	F	T
F	T	F
F	F	F