1.4.3含有一个量词的命题的否定45607.pptVIP

1.4.3 含有一个量词的命题的否定 含有全称量词的命题，叫做全称命题 1、什么叫做全称量词，全称命题？ 含有存在量词的命题，叫做特称命题。 2、什么叫做存在量词，特称命题？ 短语“所有的”“任意一个” 在逻辑中通常叫做全称量词．用符号“　　”表示。 短语“存在一个”“至少一个” 在逻辑中通常叫做存在量词．用符号“　　”表示。 还有那些量词是全称量词或特称量词? 含有一个量词的全称命题的否定,有下面的结论 全称命题 它的否定 从形式看，全称命题的否定是特称命题。 全称命题的否定是特称命题 2）p:每一个四边形的四个顶点共圆 解：1） 存在一个能被3整除的整数不是奇数. 2) 存在一个四边形的四个顶点不共圆. 3) 的个位数字等于3 . 否定: 1)所有实数的绝对值都不是正数; 2)每一个平行四边形都不是菱形; 3) 0 一般地，对于含有一个量词的特称命题的否定,有下面的结论 特称命题 它的否定 从命题形式看,这三个特称命题的否定都变成了全称命题. $x0? M,p(x0) x ? M, p(x) 特称命