种含有变量的语句叫做开语句。如，x<2，x-5=3，(x+y)(x-y)=0.

2．表示个体常项或变项之间数量关系的词为量词。量词可分两种：

(1) 全称量词

日常生活和数学中所用的"一切的"，"所有的"，"每一个"，"任意的"，"凡"，"都"等词可统称为全称量词，记作、等，表示个体域里的所有个体。

(2) 存在量词

日常生活和数学中所用的"存在"，"有一个"，"有的"，"至少有一个"等词统称为存在量词，记作，等，表示个体域里有的个体。

3．含有全称量词的命题称为全称命题，含有存在量词的命题称为存在性称命题。

全称命题的格式："对M中的所有x，p(x)"的命题，记为:

存在性命题的格式："存在集合M中的元素x，q(x)"的命题，记为:

注：全称量词就是"任意"，写成上下颠倒过来的大写字母A，实际上就是英语"any"中的首字母。存在量词就是"存在"、"有"，写成左右反过来的大写字母E，实际上就是英语"exist"中的首字母。存在量词的"否"就是全称量词。