Existential import
也称作存在假定，一个句子、陈述或命题如果蕴涵对某物存在的承诺，则具有存在内含。在亚里士多德逻辑中，所有的形式为“所有的A都是B”的全称命题都有存在内含，因为它们蕴涵着“至少有一个A，这个A是B”，即“一个A存在”。这样的命题蕴涵着至少存在一个主词A适用于它的物体。然而，这种含义却不为现代谓词演算所认可。全称量词被形式化为x（fx→gx），“对于每个x，如果x是f，则x是g”。这个命题没有存在内含，因为不像包含存在量词的命题，即使不存在x，这个命题也可以是真的