“任意”：∀。

全称量词：短语“对所有的”，“对任意的”在陈述中表示整体或全部的含义，逻辑中通常叫做全称量词，并用符号“”表示。

存在量词：短语“存在一个”，“至少有一个”在陈述中表示个别或者一部分的含义，在逻辑中通常叫做存在量词，并用符号“”表示。

全称量词与全称命题：

全称命题：含有全称量词的命题，叫做全称命题。

全称命题的格式：“对M中任意一个x，有p（x）成立”的命题，记为x∈M，p（x），读作“对任意x属于M，有p（x）成立”。