1.1.2量词课前导引问题导入判断下列命题哪些是全称命题(1)对任意xR,x20(2)有些无理数的平方也是无理数(3)对顶角相等思路分析:(1)(3)是.(1)中含有全称量词“任意”;(3)的含义是“所有的对顶角都相等,”暗含全称量词“所有”(2)不是.因为它不含全称量词.知识预览1.短语“_”“任意一个”在逻辑中通常叫做全称量词,用符号“”表示.含有全称量词的命题叫做_.答案:所有的全称命题2.短语“_”“_”在逻辑中通常叫做存在量词,用符号“_”表示.含有存在量词的命题,叫做_.答案:有些某个存在性命题3.全称命题“对M中任意一个x,有P(x)成立”可用符号_表示,读作“对任意x属于M,有P(x)成立”.答案:xM,P(x)4.存在性命题“存在M中的一个x,使P(x)成立”,可用符号表示_,读作“_”.答案:xM,P(x)存在一个xM,有P(x)成立