我们说「毕业典礼上的学生都要唱校歌」时，通常意味着（或可合理假定）毕业典礼上有学生（「毕业典礼上的学生」集合非空）；然而当我们说「独角兽有一只角」，则不蕴涵有独角兽存在（「独角兽」集合非空）。传统逻辑上，直言三段论的所有推理规则都带有存在性预设；而现代逻辑则取消了存在性预设。由于取消了存在性预设，有些传统逻辑上有效的推理将不再适用，如下所示：如使用了上述的推理式，语境上却不允许对应的存在性预设，即为存在性谬误。在没有存在性的条件下，还需要加上这三条规则，三段论才会有效：对于换位法，除了原本