实质非蕴涵 实质非蕴涵是对实质蕴涵的否定即是说对于任何两个命题P和Q当且仅当非P实质蕴涵QP实质非蕴涵Q用更显明的话语来解释就是由P到Q的实质非蕴涵仅在P为真Q为假时成立 逻辑学符号可以如此表示实质非蕴涵 pq Lpq pq 实质非蕴涵等同于 pq