一、这是什么
实质蕴含只要求不出现「前件真后件假」；严格蕴含还要求后件在所有可能世界中都随前件为真。
二、核心要点
- 实质蕴含会出现「假命题蕴含一切」的怪论。
- 严格蕴含用模态词限制前后件的联系。
- 两种蕴含刻画的是不同的推理直觉。
三、为什么重要
「严格蕴含与实质蕴含」属于模态逻辑与思维方法板块的基础内容。模态逻辑研究「必然」「可能」这类模态词的逻辑性质。它把真假的判断放到「相对于哪个可能性」的背景下来考察，是形式逻辑与现代思维方法的交汇处。
一句话记住它实质蕴含只要求不出现「前件真后件假」；严格蕴含还要求后件在所有可能世界中都随前件为真。
四、容易踩的坑
- 不加区分地使用「蕴含」一词。
五、相关联的术语
辩证思维、必然、可能、不可能、系统思维。学习本课时，请把「严格蕴含与实质蕴含」放在这组术语的关系网里理解，而不是孤立记忆。