检验蕴涵是从理论命题演绎出的可供经验检验的单称命题。

经验命题多是单称命题和全称命题两类。单称命题是涉及特定的对象、事物或事件的命题。单称命题可以直接与经验比较，但是，全称命题无法直接与某个经验进行比较，但是，我们可以根据一定条件，从这个全称命题逻辑上必然地推出一个单称陈述，再直接验证这个单称陈述，从而对那个全称陈述进行检验。由于推出的相应单称命题，是蕴涵在那个全称命题之中的，所以我们就把这样的条件和相应的单称命题叫做检验蕴涵。