实质非蕴涵是对实质蕴涵的否定。即是说:对于任何两个命题P和Q,当且仅当非P实质蕴涵Q,P实质非蕴涵Q。用更显明的话语来解释就是:由P到Q的实质非蕴涵仅在P为真,Q为假时成立。
此条目没有列出任何参考或来源。 (2016年10月3日) |
逻辑学符号可以如此表示实质非蕴涵:
- p⊅q
- Lpq
- p↛q
实质非蕴涵等同于:
- p∧~q
定义
p | q | |
---|---|---|
T | T | F |
T | F | T |
F | T | F |
F | F | F |
“P但不是Q”
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
Remove ads