《全称量词与存在量词》第二课时PPT.pptVIP

* * 含有一个量词 的命题的否定 复习提问 全称量词、全称命题定义： 短语“所有的”“任意一个”在逻辑中通常叫做全称量词，并用符号“ ”表示。 含有全称量词的命题，叫做全称命题。 读作“对任意x属于M，有p(x)成立”。 全称命题“对M中任意一个x，有p(x)成立 ”可用符号简记为： 全称命题的符号表示： 存在量词、特称命题定义： 短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词，并用符号“ ”表示。 含有存在量词的命题，叫做特称命题。 特称命题“存在M中的一个x0，使p(x0)成立 ”可用符号简记为： 读作“存在一个x0属于M，使p(x0)成立”。 特称命题的符号表示： 探究 从命题形式上看,这三个全称命题的否定都变成了特称命题. 一般地,对于含有一个量词的全称命题的否定,有下面的结论: 全称命题的否定是特称命题. 例1、写出下列全称命题的否定: (1) p:所有能被3整除的整数都是奇数; (2) p:每一个四边形的四个顶点共圆; (3) p:对任意 的个位数字不等于3. 探究 否定: 1)所有实数的绝对值都不是正数; 2)每一个平行四边形都不是菱形; 3) 从命题形式上看,这三个特称命题的否定都变成了全称命题. 一般地,对于含有一个量词的特称命题的否定,