短“存在一个”“至少有一个”在逻辑中通常叫做存在量词，并用符号“”表示，含有存在量词的命题，叫做特称命题，用符号简记为.
有些教材把特称命题叫存在性命题。