 | 此條目沒有列出任何參考或來源。 (2016年10月3日) 維基百科所有的內容都應該可供查證。請協助補充可靠來源以改善這篇條目。無法查證的內容可能會因為異議提出而被移除。 |
的文氏圖
實質非蘊涵是對實質蘊涵的否定。即是說：對於任何兩個命題P和Q，若且唯若非P實質蘊涵Q，P實質非蘊涵Q。用更顯明的話語來解釋就是：由P到Q的實質非蘊涵僅在P為真，Q為假時成立。
邏輯學符號可以如此表示實質非蘊涵:
實質非蘊涵等同於:
| p | q | 
|
|---|---|---|
| T | T | F |
| T | F | T |
| F | T | F |
| F | F | F |
「P但不是Q」
| |||||||||||||||||||||||||||||
