也稱作存在假定，一個句子、陳述或命題如果蘊涵對某物存在的承諾，則具有存在內含。在亞里士多德邏輯中，所有的形式為“所有的A都是B”的全稱命題都有存在內含，因為它們蘊涵著“至少有一個A，這個A是B”，即“一個A存在”。這樣的命題蘊涵著至少存在一個主詞A適用於它的物體。然而，這種含義卻不為現代謂詞演算所認可。全稱量詞被形式化為x（fx→gx），“對於每個x，如果x是f，則x是g”。這個命題沒有存在內含，因為不像包含存在量詞的命題，即使不存在x，這個命題也可以是真的
