种含有变量的语句叫做开语句。如,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"中的首字母。存在量词的"否"就是全称量词。