设」（existential import），反之则无。命题是否有存在性预设须依语境决定，例如，当我们说「毕业典礼上的学生都要唱校歌」时，通常意味着（或可合理假定）毕业典礼上有学生（「毕业典礼上的学生」集合非空）；然而当我们说「独角兽有一只角」，则不蕴涵有独角兽存在（「独角兽」集合非空）。传统逻辑上，直言三段论的所有推理规则都带有存在性预设；而现代逻辑则取消了存在性预设。由于取消了存在性预设，有些传统逻辑上有效的推理将不再适用，如下所示：如使用了上述的推理式，语境上却不允许对应的存在性预设，即为