严格蕴涵

蕴涵的一种。设“如果P，则Q”的真假以从P推出Q的可能性为必要条件，则称P对Q的关系为严格蕴涵。美国哲学家、逻辑学家刘易斯首先运用“必然”、“可能”、“不可能”等模态概念来研究蕴涵问题，从而提出这一概念。实质蕴涵仅仅表示在P真而Q假的情况下，“如果P，则Q”这个命题是假命题。严格蕴涵（用PQ表示）与实质蕴涵不同之处在于它要求命题P和命题Q之间有某种必然联系，即P真而Q假不仅是假的，而且是不可能的。