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

文氏圖

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

p⊅q
Lpq
p↛q

實質非蘊涵等同於:

p∧~q

定義

編輯

真值表

編輯
p q  
T T F
T F T
F T F
F F F

語用

編輯

「P但不是Q」