1.全称量词 短语“对所有的”“对任意一个”在逻辑 中通常叫做全称量词.符号： 2.全称命题： 含有全称量词的命题. 符号：xM,p(x) 读作：对任意x属于M，有p(x)成立.

***讲授新课***

3.存在量词： 短语“存在一个”“至少有一个”等都是表示整体的一部分的词在逻辑中通常叫做存在量词.符号：

4.特称命题(存在命题): 含有存在量词的命题.符号：x0M，p(x0) 读作：存在M中一个x0，使p(x0)成立.