实质非蕴涵

维基百科,自由的百科全书
跳到导航 跳到搜索
文氏图

Venn0101.svg Venn1100.svg Venn0100.svg Venn1011.svg

实质非蕴涵是对实质蕴涵的否定。即是说:对于任何两个命题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”