探究

探究

写出下列命题的否定：

（1）存在一个实数的绝对值是正数；

（2）有些平行四边形是菱形；

（3）$\exists x\in \mathbf{R},x^2-2x+3=0.$

它们与原命题在形式上有什么变化？

这三个命题都是存在量词命题，即具有“$\exists x\in M,p\left(x\right)$”的形式．其中命题（1)的否定是“不存在一个实数，它的绝对值是正数”，也就是说，

所有实数的绝对值都不是正数；

命题（2）的否定是“没有一个平行四边形是菱形”，也就是说，

每一个平行四边形都不是菱形;

命题（3）的否定是“不存在 $x\in \mathbf{R},x^2-2x+3=0$”，也就是说,

$$\forall x\in \mathbf{R},x^2-2x+3\ne 0.$$

从命题形式看，这三个存在量词命题的否定都变成了全称量词命题.

一般来说，对含有一个量词的存在量词命题进行否定，我们只需把“存在一个”“至少有一个”“有些”等存在量词，变成“不存在一个”“没有一个”等短语即可．也就是说，假定存在量词命题为“$\exists x\in M,p\left(x\right)$”，则它的否定为“不存在 $x\in M$ ，使 $p(x)$ 成立”，也就是“$\forall x\in M,p\left(x\right)$ 不成立”

对含有一个量词的存在量词命题的否定，有下面的结论：

存在量词命题：

$$\exists x\in M,p\left(x\right),$$

它的否定：

$$\forall x\in M,\neg p(x).$$

也就是说，存在量词命题的否定是全称量词命题.

例4写出下列存在量词命题的否定：

(1）$\exists x\in \mathbf{R},x+2⩽0$

（2）有的三角形是等边三角形；

（3）有一个偶数是素数.

解：（1）该命题的否定： $\forall x\in \mathbf{R},x+2>0.$

（2）该命题的否定：所有的三角形都不是等边三角形.

（3）该命题的否定：任意一个偶数都不是素数.

例5写出下列命题的否定，并判断真假：

（1）任意两个等边三角形都相似；

(2）$\exists x\in \mathbf{R},x^2-x+1=0.$

解：（1）该命题的否定：存在两个等边三角形，它们不相似．因为任意两个等边三角形的三边成比例，所以任意两个等边三角形都相似．因此这是一个假命题.

（2）该命题的否定： $\forall x\in \mathbf{R},x^2-x+1\ne 0.$ 因为对任意 $x\in \mathbf{R}$

$$x^2-x+1=(x-\frac{1}{2}{)}^2+\frac{3}{4}>0,$$

所以这是一个真命题.

练习

1.写出下列命题的否定：

(1) $\forall n\in \mathbf{Z},n\in \mathbf{Q};$

（2）任意奇数的平方还是奇数；

（3）每个平行四边形都是中心对称图形.

2.写出下列命题的否定：

（1）有些三角形是直角三角形；

（2）有些梯形是等腰梯形；

（3）存在一个实数，它的绝对值不是正数.

习题1.5

复习巩固

1．判断下列全称量词命题的真假：

（1）每一个末位是0的整数都是5的倍数；

（2）线段垂直平分线上的点到这条线段两个端点的距离相等；

（3）对任意负数x，x的平方是正数；

（4）梯形的对角线相等.

2．判断下列存在量词命题的真假：

（1）有些实数是无限不循环小数；

（2）存在一个三角形不是等腰三角形；

（3）有些菱形是正方形；

（4）至少有一个整数 $n$ 使得 $n^2+1$ 是4的倍数.

3．写出下列命题的否定：

(1) $\forall x\in \mathbf{Z},\mid x\mid \in \mathbf{N};$

（2）所有可以被5整除的整数，末位数字都是0；

(3） $\exists x\in \mathbf{R},x+1⩾0;$

（4）存在一个四边形，它的对角线互相垂直.

综合运用

4．判断下列命题的真假，并写出这些命题的否定：

（1）平面直角坐标系下每条直线都与x轴相交；

（2）每个二次函数的图象都是轴对称图形；

（3）存在一个三角形，它的内角和小于180°；

（4）存在一个四边形，它的四个顶点不在同一个圆上.

5．将下列命题改写成含有一个量词的全称量词命题或存在量词命题的形式，并写出它们的否定：

（1）平行四边形的对角线互相平分；

（2）三个连续整数的乘积是6的倍数；

（3）三角形不都是中心对称图形；

（4）一元二次方程不总有实数根.

拓广探索

6．在本节，我们介绍了命题的否定的概念，知道一个命题的否定仍是一个命题，它和原先的命题只能一真一假，不能同真或同假.

在数学中，有很多“若p，则q”形式的命题，有的是真命题，有的是假命题．例如：

① 若𝑥>1，则2x+1>5；(假命题)

② 若四边形为等腰梯形，则这个四边形的对角线相等． (真命题)

这里，命题①②都是省略了量词的全称量词命题.

（1）有人认为，①的否定是“若𝑥>1，则2x+1≤5”，②的否定是“若四边形为等腰梯形，则这个四边形的对角线不相等”．你认为对吗？如果不对，请你正确地写出命题①②的否定.

（2）请你列举几个“若p，则q”形式的省略了量词的全称量词命题，分别写出它们的否定，并判断真假.

小结

一、本章知识结构

二、回顾与思考

本章我们学习了集合的有关概念、关系和运算，还学习了充分条件、必要条件、充要条件，全称量词、存在量词、全称量词命题与存在量词命题的否定.这些知识在后续学习中会得到大量应用，是进一步学习的重要基础.

为了有效使用集合语言表述数学的研究对象，首先应掌握集合语言的表述方式．为此，我们先学习了集合的含义，明确了集合中元素的确定性、无序性和互异性等特征；再学习了列举法、描述法等集合的表示法，其中描述法利用了研究对象的某种特征，需要先理解研究对象的性质；类比数与数的关系，我们研究了集合之间的包含关系与相等关系，这些关系是由元素与集合的关系决定的，其中集合的相等关系很重要；类比数的运算，我们学习了集合的交、并、补运算，通过这些运算可以得到与原有集合紧密关联的集合，由此可以表示研究对象的某些关系，从中我们可以体会到，数学中的运算并不局限于数的运算，这对提升我们的数学运算素养是很有意义的，在学习中，要注意“集合的含义与表示一集合的关系一集合的运算”这个研究路径.

常用逻辑用语是数学语言的重要组成部分，是逻辑思维的基本语言，也是数学表达和交流的工具．结合初中学过的平面几何和代数知识，我们学习了常用逻辑用语，发现初中学过的数学定义、定理、命题都可以用常用逻辑用语表达，利用常用逻辑用语表述数学内容、进行推理论证，可以大大提升表述的逻辑性和准确性，从而提升我们的逻辑推理素养.

本章的学习不仅要为后续学习做好知识技能的准备，更重要的是要为整个高中数学学习做好心理准备，初步形成适合高中数学学习的方式方法，使我们能更好地适应高中数学学习.

请你带着下面的问题，复习一下全章的内容吧！

1．集合中的元素具有确定性、互异性和无序性，你能结合例子说明这些特性吗？

2．你能用集合表示平面内线段AB的垂直平分线吗？结合集合的描述法谈谈你的体会.

3．用联系的观点看问题，可以使我们更深刻地理解数学知识．本章中，我们类比数与数的关系和运算研究了集合与集合的关系和运算．你认为这样的类比对发现和提出集合的问题有什么意义？你能类比数的减法运算给出集合的减法运算吗？

4．对给定的p和q，如何判定p是q的充分不必要条件、必要不充分条件、充要条件、既不充分也不必要条件？你能举例说明吗？

5．如何否定含有一个量词的全称量词命题和存在量词命题？你能举例说明吗？