跳至內容

實質非蘊涵

維基百科,自由的百科全書
文氏圖

實質非蘊涵是對實質蘊涵的否定。即是說:對於任何兩個命題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」