万维百科

实质非蕴涵本文重定向自 反非蕴涵

文氏图

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”


本页面最后更新于2021-08-16 16:14,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器