一个高中数学符号

“对所有的”、“对任意一个”等词在逻辑中被称为全称量词，记作“∀”，含有全称量词的命题叫做全称命题

短语“存在一个”、“至少一个”在逻辑中通常叫做存在量词，用符号“∃”表示。