ion::::说明.三段论中，逻辑命题有四种类型：I型及O型命题必然蕴涵「S集合非空」，A型及E型命题则不一定。当A型及E型命题蕴涵「S集合非空」，便是有「存在性预设」（existential import），反之则无。命题是否有存在性预设须依语境决定，例如，当我们说「毕业典礼上的学生都要唱校歌」时，通常意味着（或可合理假定）毕业典礼上有学生（「毕业典礼上的学生」集合非空）；然而当我们说「独角兽有一只角」，则不蕴涵有独角兽存在（「独角兽」集合非空）。传统逻辑上，直言三段论的所有推理规则都带有存