存在内含亦称“存在假定”。传统逻辑认为，性质命题的主项和谓项既不能是一个空类，也不能是一个全类，而是指称由实际存在的个体所组成的一个非空非全的类。所有与性质命题相关的推理都只有在预先假定存在内含的基础上才是有效的。如果除去存在内含，与性质命题相关的许多逻辑理论将不再有效。