實質非蘊涵

實質非蘊涵是對實質蘊涵的否定 。 即是說 ： 對於任何兩個命題P和Q ， 當且僅當非P實質蘊涵Q ， P實質非蘊涵Q 。 用更顯明的話語來解釋就是 ： 由P到Q的實質非蘊涵僅在P爲真 ， Q爲假時成立 。 邏輯學符號可以如此表示實質非蘊涵: p ⊅ q Lpq p ↛ q 實質非蘊涵等同於: p ∧ ~ q