含有量词的命题通常包括单称命题、特称命题和全称命题三种。

单称命题：其公式为"（这个）S是P"。例句："这件事是我经办的。"单称命题表示个体，一般不需要量词标志，有时会用"这个""某个"等。在三段论中是作为全称命题来处理的。

全称命题：其公式为"所有S是P"。例句："所有产品都是一等品"。全称命题，可以用全称量词，也可以用"都"等副词、"人人"等主语重复的形式来表达，甚至有时可以没有任何的量词标志，如"人类是有智慧的。"

特称命题：其公式为"有的S是P"。例句："大多数学生星期天休息"。特称命题使用存在量词，如"有些"、"很少"等，也可以用"基本上"、"一般"、"只是有些"等。含有存在性量词的命题也称存在性命题。

问题3：判断下列命题是全称命题，还是存在性命题？

（1）方程2x=5只有一解；

（2）凡是质数都是奇数；

（3）方程2x2＋1=0有实数根；

（4）没有一个无理数不是实数；

（5）如果两直线不相交，则这两条直线平行；

（6）集合A∩B是集合A的子集；

分析：（1）存在性命题；（2）全称命题；（3）存在性命题；（4）全称命题；（5）全称命题；（6）全称命题；

四、数学理论

1．开语句：语句中含有变量x或y，在没有给定这些变量的值之前，是无法确定语句真假的．这种含有变量的语句叫做开语句。如，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"中的首字母。存在量词的"否"就是全称量词。

五、巩固运用

例1判断以下命题的真假：

（1） （2） （3） （4）