存在性谬误（existential fallacy）是不当假定推理中的集合有成员存在（即非空）造成的推理错误。存在性谬误可归类于形式谬误，或归类于不当预设的非形式谬误。
说明.三段论中，逻辑命题有四种类型：I型及O型命题必然蕴涵「S集合非空」，A型及E型命题则不一定。当A型及E型命题蕴涵「S集合非空」，便是有「存在性预设」（existential import），反之则无。命题是否有存在性预设须依语境决定，例如，当我们说「毕业典礼上的学生都要唱校歌」时，通常意味着（或可