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

什么样的量词是全称量词？全称命题的符号表示是什么？ 什么样的量词是存在量词？特称命题的符号表示是什么？ 如何得到命题p的否定？它们的真假性之间有何关系？ * * 1.4.3 含有一个量词的命题的否定 复习 写出下列命题的否定: 所有的矩形都是平行四边形; (2) 每一个素数都是奇数; (3) x∈R, x2-2x+1≥0. 这些全称命题的否定在形式上有什么变化? 探究 存在一个矩形不是平行四边形 存在一个素数不是奇数 ? x0∈R, x02-2x0+10 这三个全称命题的否定都是特称命题. 一般地，对于含有一个量词的全称命题的否定,有下面的结论： 全称命题的否定是特称命题. 它的否定?p: x0∈M,?p(x0)， 结论 即：命题否定后，全称量词变为存在量词，“肯定”变为“否定” 全称命题p: x∈M ,p(x)， 例1 :写出下列全称命题的否定,并判断其真假： （1）p： x∈ R, x2-x+?≥0; （2）q：所有的正方形都是矩形. 这是假命题 答:（1）?p： ? x∈R, x2-x+?0; （2） ?q：至少存在一个正方形不是矩形; 例题 这是假命题 答:（1）?p：存在一个能被3整除的整数不是奇数; 例2 :写出下列全称命题的否定： （1）p：所有能被3整除的整数都是奇数;