实质非蕴涵, 此條目没有列出任何参考或来源, 2016年10月3日, 維基百科所有的內容都應該可供查證, 请协助補充可靠来源以改善这篇条目, 无法查证的內容可能會因為異議提出而被移除, 是对实质蕴涵的否定, 即是说, 对于任何两个命题p和q, 当且仅当非p实质蕴涵q, 用更显明的话语来解释就是, 由p到q的仅在p为真, q为假时成立, displaystyle, nrightarrow, 的文氏图, displaystyle, land, displaystyle, leftrightarrow, displays. 此條目没有列出任何参考或来源 2016年10月3日 維基百科所有的內容都應該可供查證 请协助補充可靠来源以改善这篇条目 无法查证的內容可能會因為異議提出而被移除 实质非蕴涵是对实质蕴涵的否定 即是说 对于任何两个命题P和Q 当且仅当非P实质蕴涵Q P实质非蕴涵Q 用更显明的话语来解释就是 由P到Q的实质非蕴涵仅在P为真 Q为假时成立 A B displaystyle A nrightarrow B 的文氏图 displaystyle land displaystyle Leftrightarrow displaystyle Leftrightarrow neg 逻辑学符号可以如此表示实质非蕴涵 p q Lpq p q dd 实质非蕴涵等同于 p q dd 定义 编辑真值表 编辑 p q displaystyle nrightarrow nbsp T T F T F T F T F F F F 语用 编辑 P但不是Q 取自 https zh wikipedia org w index php title 实质非蕴涵 amp oldid 52538013, 维基百科,wiki,书籍,书籍,图书馆,