实质非蕴涵维基百科,自由的 encyclopedia 实质非蕴涵是对实质蕴涵的否定。即是说:对于任何两个命题P和Q,当且仅当非P实质蕴涵Q,P实质非蕴涵Q。用更显明的话语来解释就是:由P到Q的实质非蕴涵仅在P为真,Q为假时成立。 此条目没有列出任何参考或来源。 (2016年10月3日) A ↛ B {\displaystyle A\nrightarrow B} 的文氏图 ∧ {\displaystyle \land } ⇔ {\displaystyle \Leftrightarrow } ⇔ ¬ {\displaystyle \Leftrightarrow \neg } 逻辑学符号可以如此表示实质非蕴涵: p⊅q Lpq p↛q 实质非蕴涵等同于: p∧~q
实质非蕴涵是对实质蕴涵的否定。即是说:对于任何两个命题P和Q,当且仅当非P实质蕴涵Q,P实质非蕴涵Q。用更显明的话语来解释就是:由P到Q的实质非蕴涵仅在P为真,Q为假时成立。 此条目没有列出任何参考或来源。 (2016年10月3日) A ↛ B {\displaystyle A\nrightarrow B} 的文氏图 ∧ {\displaystyle \land } ⇔ {\displaystyle \Leftrightarrow } ⇔ ¬ {\displaystyle \Leftrightarrow \neg } 逻辑学符号可以如此表示实质非蕴涵: p⊅q Lpq p↛q 实质非蕴涵等同于: p∧~q