實質非蘊涵

實質非蘊涵是對實質蘊涵的否定。即是說：對於任何兩個命題P和Q，若且唯若非P實質蘊涵Q，P實質非蘊涵Q。用更顯明的話語來解釋就是：由P到Q的實質非蘊涵僅在P為真，Q為假時成立。

${\displaystyle A\nrightarrow B}$的文氏圖

${\displaystyle \land }$ ${\displaystyle \Leftrightarrow }$ ${\displaystyle \Leftrightarrow \neg }$

邏輯學符號可以如此表示實質非蘊涵:

p⊅q

Lpq

p↛q

實質非蘊涵等同於:

p∧~q

定義

真值表

p	q	${\displaystyle ~\nrightarrow }$
T	T	F
T	F	T
F	T	F
F	F	F

語用

「P但不是Q」