1.全称量词 短语“对所有的”“对任意一个”在逻辑 中通常叫做全称量词.符号: 2.全称命题: 含有全称量词的命题. 符号:xM,p(x) 读作:对任意x属于M,有p(x)成立.
***讲授新课***
3.存在量词: 短语“存在一个”“至少有一个”等都是表示整体的一部分的词在逻辑中通常叫做存在量词.符号:
4.特称命题(存在命题): 含有存在量词的命题.符号:x0M,p(x0) 读作:存在M中一个x0,使p(x0)成立.