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