存在性谬误（existential fallacy）是不当假定推理中的集合有成员存在（即非空）造成的推理错误。
存在性谬误可归类于形式谬误，或归类于不当预设的非形式谬误。
三段论中，逻辑命题有四种类型：
I型及O型命题必然蕴涵“S集合非空”，A型及E型命题则不一定。当A型及E型命题蕴涵“S集合非空”，便是有“存在性预设”（existential import），反之则无。
命题是否有存在性预设须依语境决定，例如，当我们说“毕业典礼上的学生都要唱校歌”时，通常意味着（或可合理假定）毕业典礼上有学生（“毕业典礼上的学生”集合非空）；然而当我们说“独角兽有一只角”，则不蕴涵有独角兽存在（“独角兽”集合非空）。
传统逻辑上，直言三段论的所有推理规则都带有存在性预设；而现代逻辑则取消了存在性预设。由于取消了存在性预设，有些传统逻辑上有效的推理将不再适用，如下所示：
如使用了上述的推理式，语境上却不允许对应的存在性预设，即为存在性谬误。
原论述可分析如下，属 A→I 型：
此推理必须假定独角兽存在，但由于独角兽实际上不存在，不适用“独角兽”集合非空的假定，此推论是错误的。
原论述可分析如下，属 AAI-3 型：
此推理必须假定时光机存在，由于时光机不存在，不适用“时光机”集合非空的假定，此推论是错误的。
