第1章 集合与常用逻辑用语

知识结构

• 1.1 集合的概念
• 1.2 集合间的基本关系
• 1.3 集合的基本运算
• 1.4 充分条件与必要条件
• 1.5 全称量词与存在量词

章节导读

我们知道,方程$x=2$在有理数范围内无解,但在实数范围内有解.在平面内,所有到定点的距离等于定长的点组成一个圆;而在空间中,所有到定点的距离等于定长的点组成一个球面.因此,明确研究对象、确定研究范围是研究数学问题的基础.为了简洁、准确地表述数学对象及研究范围,我们需要使用集合的语言和工具.事实上,集合的知识是现代数学的基础,也是高中数学的基础,在后面各章的学习中将越来越多地应用它.
在本章,我们将学习集合的概念、基本关系和运算,学习用集合语言刻画一类事物的方法.
逻辑用语是数学语言的重要组成部分,是数学表达和交流的工具.学习一些常用逻辑用语,可以使我们正确理解数学概念、合理论证数学结论、准确表达数学内容.逻辑用语也是日常交往、学习和工作中必不可少的工具,正确使用逻辑用语是每一位公民应具备的基本素养.本章我们将通过常用逻辑用语的学习,理解使用逻辑用语表达数学对象、进行数学推理的方法,体会逻辑用语在表述数学内容和论证数学结论中的作用,学会使用集合和逻辑语言表达和交流数学问题,提升交流的逻辑性和准确性.

1.1 集合的概念

在小学和初中,我们已经接触过一些集合.例如,自然数的集合,同一平面内到一个定点的距离等于定长的点的集合 (即圆)等.为了更有效地使用集合语言,我们需要进一步了解集合的有关知识.下面先从集合的含义开始.

看下面的例子

• (1)
• (2)立德中学今年入学的全体高一学生;
• (3)所有的正方形;
• (4)到直线l的距离等于定长d的所有点;
• (5)方程x
• (6)地球上的四大洋.
  例 (1)中,我们把110之间的每一个偶数作为元素,这些元素的全体就是一个集合;同样地,例 (2)中,把立德中学今年入学的每一位高一学生作为元素,这些元素的全体也是一个集合.
  上面的例 (3)到例 (6)也都能组成集合吗?它们的元素分别是什么?一般地,我们把研究对象统称为元素 (element),把一些元素组成的总体叫做集合(set)(简称为集).
  给定的集合,它的元素必须是确定的.也就是说,给定一个集合,那么一个元素在或不在这个集合中就确定了.例如,“110之间的所有偶数”构成一个集合,2,4,6,8,10是这个集合的元素,1,3,5,7,9,…不是它的元素; “较小的数”不能构成集合,因为组成它的元素是不确定的.
  一个给定集合中的元素是互不相同的.也就是说,集合中的元素是不重复出现的.
  只要构成两个集合的元素是一样的,我们就称这两个集合是相等的.
  我们通常用大写拉丁字母A,B,C,…表示集合,用小写拉丁字母a,b,c,…表示集合中的元素.
  如果a是集合A的元素,就说a属于 (belongto)集合A,记作a\in A;如果a不是

集合A中的元素,就说a不属于集合A,记作$a\notin A$.
例如,若用A 表示前面例 (1)中 “1~10 之间的所有偶数” 组成的集合,则有
4\in A,$3\notin A$,等等.

数学中一些常用的数集及其记法

全体非负整数组成的集合称为非负整数集 (或自然数集),记作 $\mathbb{N}$;
全体正整数组成的集合称为正整数集,记作 $\mathbb{N}$ 或 $\mathbb{N}$ ;
全体整数组成的集合称为整数集,记作 $\mathbb{Z}$;
全体有理数组成的集合称为有理数集,记作 $\mathbb{Q}$;
全体实数组成的集合称为实数集,记作 $\mathbb{R}$.
从上面的例子看到,我们可以用自然语言描述一个集合.除此之外,还可以用什么方式表示集合呢?

列举法

“地球上的四大洋”组成的集合可以表示为 $太平洋,大西洋,印度洋,北冰洋$;
“方程x^2-3x+2=0的所有实数根”组成的集合可以表示为 $1,2$.
像这样把集合的所有元素一一列举出来,并用花括号 “”括起来表示集合的方法叫做列举法.

例题 1：用列举法表示下列集合:

• (1)小于10的所有自然数组成的集合;
• (2)方程$x^2=x$的所有实数根组成的集合.
  解:(1)设小于10的所有自然数组成的集合为A,那么

$$A=0,1,2,3,4,5,6,7,8,9.$$

• (2)设方程$x^2=x$的所有实数根组成的集合为B,那么
  由于元素完全相同的两个集合相等,而与列举的顺序无关,因此一个集合可以有不同的列举方法.例如,例1 (1)的集合还可以写成

$$A=9,8,7,6,5,4,3,2,1,0$$

等.

• (1)你能用自然语言描述集合 $0,3,6,9$吗?
• (2)你能用列举法表示不等式x-7<3的解集吗?

描述法

不等式x-7<3的解是$x<10$因为满足$x<10$的实数有无数个,所以x-7<3的解集无法用列举法表示.但是,我们可以利用解集中元素的共同特征,即:x是实数,且$x<10$把解集表示为

$$x\in \mathbb{R}|x<10.$$

又如,整数集 $\mathbb{Z}$可以分为奇数集和偶数集.对于每一个$x\in \mathbb{Z}$,如果它能表示为$x=2k+1($k\in\mathbb{Z}$)$的形式,那么它是你能用这样的方法表一个奇数;反之,如果x是一个奇数,那么它能表示为x= 示偶数集吗?2k+1($k\in \mathbb{Z}$)的形式.所以$x=2k+1($k\in\mathbb{Z}$)$是所有奇数的一个共同特征,于是奇数集可以表示为

$$x\in \mathbb{Z}|x=2k+1,k\in \mathbb{Z}.$$

一般地,设A是一个集合,我们把集合A中所有具有共同特征P(x)的元素x所组成的集合表示为有时也用冒号或分号

$$x\in A|P(x),$$

代替竖线,写成这种表示集合的方法称为描述法.

$$x\in A:P(x)$$

q 或

例如,实数集 $\mathbb{R}$中,有限小数和无限循环小数都具有

$$p$$ $$x\in A;P(x).$$

(p,q\in\mathbb{Z}p\ne 0)的形式,这些数组成有理数集,我们将它表示为

$$q$$ $$\mathbb{Q}=x\in \mathbb{R}|x=,p,q\in \mathbb{Z},p\ne 0.$$ $$p$$ $$q$$

其中,$x=(p$q\in\mathbb{Z}$,p\ne$ 0)就是所有有理数具有的共同特征.

$$p$$

显然,对于任何y\in{x\in A|P(x)},都有y\in A,且P(y)成立.

例题 2：试分别用描述法和列举法表示下列集合:

• (1)方程x
• (2)由大于10且小于20的所有整数组成的集合B.
  解:(1)设x\in A,则x是一个实数,且x

$$A=x\in \mathbb{R}{x}^2-2=0.$$

方程x

$$A=\sqrt{2},-\sqrt{2}.$$

• (2)设x\in B,则x是一个整数,即$x\in \mathbb{Z}$,且10<$x<20$因此,用描述法表示为

$$B=x\in \mathbb{Z}10<x<20.$$

大于10且小于20的整数有11,12,13,14,15,16,17,18,19,因此,用列举法表示为

$$B=11,12,13,14,15,16,17,18,19.$$

我们约定,如果从上下文的关系看,$x\in \mathbb{R}$x\in\mathbb{Z}$是明确的,那么$x\in\mathbb{R}$x\in \mathbb{Z}$ 可以省略,只写其元素x. 例如,集合D={x\in\mathbb{R}|x<10}也可表示为$D=${x|x<10}$;$集合E={x\in\mathbb{Z}|x=2k+1,k\in\mathbb{Z}}也可表示为E={x|x=2k+1,k\in\mathbb{Z}}.
举例说明,用自然语言、列举法和描述法表示集合时各自的特点.

• 1. 判断下列元素的全体是否组成集合,并说明理由:
• (1)A,B是平面\alpha内的定点,在平面\alpha内与A,B等距离的点;
• (2)高中学生中的游泳能手.
• 2. 用符号 “\in”或 “”填空:

$$0\mathbb{N};-3\mathbb{N};0.5\mathbb{Z};\sqrt{2}\mathbb{Z};\mathbb{Q};\pi \mathbb{R}.$$

• 3. 用适当的方法表示下列集合:
• (1)由方程x
• (2)一次函数$y=x+3$与$y=-2x+6$图象的交点组成的集合;
• (3)不等式4x-5<3的解集.

习题 1.1

• 1. 用符号 “\in”或 “”填空:

• (1)设A为所有亚洲国家组成的集合,则
  中国 $\in A$,美国 $\notin A$,印度 $\in A$,英国 $\notin A$;

• (2)若A={x|x^2=x},则-1 A;

• (3)若B={x|x^2+x-6=0},则3 B;

• (4)若C={x\in\mathbb{N}|1\le x\le 10},则8 C,9.1 C.

• 2. 用列举法表示下列集合:

• (1)大于1且小于6的整数;

• (2)A={x|(x-1)(x+2)=0};

• (3)B={x\in\mathbb{Z}|-3<2x-1<3}.

• 3. 把下列集合用另一种方法表示出来:

• (1){2,4,6,8,10};

• (2)由1,2,3这三个数字抽出一部分或全部数字 (没有重复)所组成的一切自然数;

• (3){x\in\mathbb{N}|3<x<7};

• (4)中国古代四大发明.

• 4. 用适当的方法表示下列集合:

• (1)二次函数$y=x^2-4$的函数值组成的集合;

• (2)反比例函数y= 的自变量的取值组成的集合;

$$x$$

• (3)不等式3x\ge 4-2x的解集.
• 5. 集合论是德国数学家康托尔于19世纪末创立的.当时,康托尔在解决
     涉及无限量研究的数学问题时,越过 “数集”限制,提出了一般性的“集合”概念.关于集合论,希尔伯特赞誉其为 “数学思想的惊人的产物,在纯粹理性的范畴中人类活动的最美的表现之一”,罗素描述其为“可能是这个时代所能夸耀的最伟大的工作”.请你查阅相关资料,用简短的报告阐述你对这些评价的认识.
     康托尔 (GeorgCantor,1845—1918)

1.2 集合间的基本关系

我们知道,两个实数之间有相等关系、大小关系,如5=5,5<7,5>3,等等.两个集合之间是否也有类似的关观察下面几个例子,类比实数之间的相等关系、大小关系,你能发现下面两个集合之间的关系吗?

• (1)A={1,2,3},B={1,2,3,4,5};
• (2)C为立德中学高一 (2)班全体女生组成的集合,D为这个班全体学生组成
  的集合;
• (3)E={x|x是有两条边相等的三角形}F={x|x是等腰三角形}.
  可以发现,在 (1)中,集合A的任何一个元素都是集合B的元素.这时我们说集合A包含于集合B,或集合B包含集合A. (2)中的集合C与集合D也有这种关系.
  一般地,对于两个集合A,B,如果集合A中任意一个元素都是集合B中的元素,就称集合A为集合B的子集(subset),记作AB (或BA),读作 “A包含于B”(或 “B包含A”).

$$BA$$

在数学中,我们经常用平面上封闭曲线的内部代表集合,这种图称为 Venn图.这样,上述集合A与集合B的包图1.21含关系,可以用图1.21表示.
在 (3)中,由于 “两条边相等的三角形”是等腰三角形,因此,集合E,F都是由所有等腰三角形组成的集合.
请你举出几个具有包即集合E中任何一个元素都是集合F中的元素,同时,集含关系、相等关系的集合合F中任何一个元素也都是集合E中的元素.这样,集合实例.
E的元素与集合F的元素是一样的.
一般地,如果集合A的任何一个元素都是集合B的元素,同时集合B的任何一个元素都是集合A的元素,那么集合A与集合B相等,记作$A=B$

也就是说,若AB,且BA,则A=B.
如果集合AB,但存在元素x\in B,且xA,就称集合A是集合B的真子集 (propersubset),记作与实数中的结论 “若
AB (或BA), a\ge b,且b\ge a,则a=b”

读作 “A真包含于B”(或 “B真包含A”).
相类比,你有什么体会?例如,在 (1)中,AB,但 4\in B,且 4A,所以集合A是集合B的真子集.
我们知道,方程x^2+1=0没有实数根,所以方程x^2+1=0的实数根组成的集合中没有元素. 你能举出几个空集的一般地,我们把不含任何元素的集合叫做空集 (empty 例子吗?set),记为,并规定:空集是任何集合的子集.
包含关系$a$ A与属于关系a\in A有什么区别?试结合实例作出解释.
由上述集合之间的基本关系,可以得到下列结论:

• (1)任何一个集合是它本身的子集,即
  AA;
• (2)对于集合A,B,C,如果AB,且BC,那么AC.

例题 1：写出集合 $a,b$的所有子集,并指出哪些是它的真子集.

解:集合 {a,b}的所有子集为{a}{b}{a,b}.真子集为{a}{b}.

例题 2：判断下列各题中集合A是否为集合B的子集,并说明理由:

• (1)A={1,2,3},B={x|x是8的约数};

• (2)A={x|x是长方形}B={x|x是两条对角线相等的平行四边形}.
  解:(1)因为3不是8的约数,所以集合A不是集合B的子集.

• (2)因为若x是长方形,则x一定是两条对角线相等的平行四边形,所以集合A是
  集合B的子集.

• 1. 写出集合 $a,b,c$的所有子集.
• 2. 用适当的符号填空:

• (1)a {a,b,c}; (2)^0 {x|x

• (3) {x\in\mathbb{R}|x^2+1=0}; (4){0,1} \mathbb{N};

• (5){0} {x|x^2=x}; (6){2,1} {x|x

• 3. 判断下列两个集合之间的关系:

• (1)A={x|x<0},B={x|x<1};

• (2)A={x|x=3k,k\in\mathbb{N}},B={x|x=6z,z\in\mathbb{N}};

• (3)A={x\in\mathbb{N} |x是4与10的公倍数},B={x|x=20m,m\in\mathbb{N} }.

习题 1.2

• 1. 选用适当的符号填空:
• (1)若集合A={x|2x-3<3x},B={x|x\ge 2},则

$$-4B,-3A,2B,BA;$$

• (2)若集合A={x|x

$$1A,-1A,A,1,-1A;$$

• (3)$x|x是菱形$ $x|x是平行四边形$;
  $x|x是等腰三角形$ $x|x是等边三角形$.
• 2. 指出下列各集合之间的关系,并用 Venn图表示:
     A={x|x是四边形}B={x|x是平行四边形}C={x|x是矩形}D={x|x是正方形}.
• 3. 举出下列各集合的一个子集:
• (1)$A=${x|x是立德中学的学生}; (2)$B=${x|x是三角形};
• (3)C={0}; (4)D={x\in\mathbb{Z}|3<x<30}.
• 4. 在平面直角坐标系中,集合C={(x,y)|y=x}表示直线y=x,从这个角度看,集合D=
     烄烄2x-y=1烌

烅(x,y) 烅烍表示什么?集合C,D之间有什么关系?
烆烆x+4y=5烎

• 5. (1)设a,b\in\mathbb{R},P={1,a},\mathbb{Q}={-1,-b},若P=\mathbb{Q},求a-b的值;
• (2)已知集合A={x|0<x<a},B={x|1<x<2}若BA,求实数a的取值范围.

1.3 集合的基本运算

我们知道,实数有加、减、乘、除等运算.集合是否也有类似的运算呢?并集观察下面的集合,类比实数的加法运算,你能说出集合C与集合A,B之间的

• (1)A={1,3,5},B={2,4,6},C={1,2,3,4,5,6};
• (2)$A=${x|x是有理数}B={x|x是无理数}$C=${x|x是实数}.
  在上述两个问题中,集合A,B与集合C之间都具有这样一种关系:集合C是由所有属于集合A或属于集合B的元素组成的.
  一般地,由所有属于集合A或属于集合B的元素组成

$$AB$$

的集合,称为集合A与B的并集 (unionset),记作A\cup B(读作 “A并B”),即AB
A\cup B={x|x\in A,或x\in B}, 图1.31

可用 Venn图 (图1.31)表示.
这样,在问题 (1)(2)中,集合A与B的并集是C,即

$$A\cup B=C.$$

例题 1：设A={4,5,6,8},B={3,5,7,8},求A\cup B.

解:A\cup B={4,5,6,8}\cup{3,5,7,8}

在求两个集合的并集

$$=3,4,5,6,7,8.$$

时,它们的公共元素在并集中只能出现一次.如元

例题 2：设集合A={x|-1<x<2},集合B={x|1<x<3}, 素5,8.

求A\cup B.

解:A\cup B={x|-1<x<2}\cup{x|1<x<3}

$$=x|-1<x<3.$$

如图1.32,还可以利用数轴直观表示例2中求并集A\cup B的过程.

$$-10123x$$

图1.32下列关系式成立吗?

• (1)A\cup A=A;(2)A\cup=A.
  交集观察下面的集合,集合A,B与集合C之间有什么关系?
• (1)A={2,4,6,8,10},B={3,5,8,12},C={8};
• (2)A={x|x是立德中学今年在校的女同学}B={x|x是立德中学今年在校
  的高一年级同学},$C=${x|x是立德中学今年在校的高一年级女同学}.
  在上述两个问题中,集合C是由所有既属于集合A又属于集合B的元素组成的.
  一般地,由所有属于集合A且属于集合B的元素组成的集合,称为集合 A 与B 的交集 (intersectionset),记作 A\cap B

$$AABB$$

(读作 “A交B”),即
A\cap B={x|x\in A,且x\in B},

图1.33可用 Venn图 (图1.33)表示.
这样,在上述问题(1)(2)中,A\cap B=C.

例题 3：立德中学开运动会,设

A={x|x是立德中学高一年级参加百米赛跑的同学}B={x|x是立德中学高一年级参加跳高比赛的同学},
求A\cap B.

解:A\cap B就是立德中学高一年级中那些既参加百米赛跑又参加跳高比赛的同学组成的集合.所以,A\cap$B=${x|x是立德中学高一年级既参加百米赛跑又参加跳高比赛的同学}.

例题 4：设平面内直线l上点的集合为L ,直线l上点的集合为L ,试用集合的运算

1 1 2 2表示l,l的位置关系.
1 2解:平面内直线l,l可能有三种位置关系,即相交于一点、平行或重合.
1 2

• (1)直线l,l相交于一点P可表示为
  1 2
  L \cap L ={点P};

1 2

• (2)直线l,l平行可表示为
  1 2

$$L\cap L=;$$

1 2

• (3)直线l,l重合可表示为
  1 2

$$L\cap L=L=L.$$

1 2 1 2下列关系式成立吗?

• (1)A\cap A=A;(2)A\cap=.
• 1. 设A={3,5,6,8},B={4,5,7,8},求A\cap B,A\cup B.
• 2. 设A={x|x^2-4x-5=0},B={x|x^2=1},求A\cup B,A\cap B.
• 3. 设A={x|x是等腰三角形}B={x|x是直角三角形},求A\cap B,A\cup B.
• 4. 设A={x|x是幸福农场的汽车}B={x|x是幸福农场的货车},求A\cup B.
     补集在研究问题时,我们经常需要确定研究对象的范围.
     例如,从小学到初中,数的研究范围逐步地由自然数到正分数,再到有理数,引进无理数后,数的研究范围扩充到实数.在高中阶段,数的研究范围将进一步扩充.
     在不同范围研究同一个问题,可能有不同的结果.例如方程(x-2)(x

$$x\in \mathbb{Q}|(x-2)(x^2-3)=0=2;$$

在实数范围内有三个解:2,\sqrt{3},-\sqrt{3},即

$$x\in \mathbb{R}|(x-2)(x^2-3)=0=2,\sqrt{3},-\sqrt{3}.$$

通常也把给定的集合一般地,如果一个集合含有所研究问题中涉及的所有元作为全集.
素,那么就称这个集合为全集 (universalset),通常记作U.

对于一个集合A,由全集U中不属于集合A的所有元素组成的集合称为集合A相对于全集U 的补集 (complementaryset),简称为集合A的补集,记作$\complement A$,即

$$A$$ $$U$$

\complement A={x|x\in U,且xA},

$$UA$$

可用 Venn图 (图1.34)表示. U图1.34

例题 5：设$U=${x|x是小于9的正整数}$$A={1,2,3}$,B=${3,4,5,6}$$求$\complement A$,

$$U$$ $$\complement B.$$ $$U$$

解:根据题意可知,U={1,2,3,4,5,6,7,8}所以

$$\complement A=4,5,6,7,8,$$ $$U$$ $$\complement B=1,2,7,8.$$ $$U$$

例题 6：设全集$U=${x|x是三角形}$$A={x|x是锐角三角形}$$B={x|x是钝角三

角形},求A\cap B,\complement (A\cup B).

$$U$$

解:根据三角形的分类可知

$$A\cap B=,$$

A\cup$B=${x|x是锐角三角形或钝角三角形},\complement (A\cup B)={x|x是直角三角形}.

$$U$$

• 1. 已知U={1,2,3,4,5,6,7},A={2,4,5},B={1,3,5,7},求A\cap(\complement B),(\complement A)\cap(\complement B).

$$UUU$$

• 2. 设S={x|x是平行四边形或梯形}A={x|x是平行四边形}B={x|x是菱形}C={x|x是矩
     形},求B\cap C,\complement B,\complement A.

$$AS$$

• 3. 图中U是全集,A,B是U的两个子集,用阴影表示:
• (1)(\complement A)\cap(\complement B); (2)(\complement A)\cup(\complement B).

$$UUUU$$

8 8

$$ABAB$$

• (1) (2)
  (第3题)

习题 1.3

• 1. 集合A={x|2\le x<4},B={x|3x-7\ge 8-2x},求A\cup B,A\cap B.
• 2. 设A= {x|x是小于9的正整数}B= {1,2,3},C= {3,4,5,6}.求 A\cap B,A\cap C,

$$A\cap (B\cup C),A\cup (B\cap C).$$

• 3. 学校开运动会,设A={x|x是参加100 m 跑的同学}B={x|x是参加200 m 跑的同学},
     $C=${x|x是参加400m 跑的同学},学校规定,每个参加上述比赛的同学最多只能参加两项比赛,请你用集合的运算说明这项规定,并解释以下集合运算的含义:
• (1)A\cup B; (2)A\cap C.
• 4. 已知集合A={x|3\le x<7},B={x|2<x<10},求\complement (A\cup B),\complement (A\cap B),(\complement A)\cap B,

$$\mathbb{RRR}$$ $$A\cup (\complement B).$$ $$\mathbb{R}$$

• 5. 设a\in\mathbb{R},集合A={x|(x-3)(x-a)=0},B={x|(x-4)(x-1)=0},求A\cup B,A\cap B.
• 6. 已知全集U=A\cup B={x\in\mathbb{N}|0\le x\le 10},A\cap(\complement B)={1,3,5,7},试求集合B.

$$U$$

集合中元素的个数在研究集合时,经常遇到有关集合中元素的个数问题.我们把含有限个元素的集合A叫做有限集,card 是英文 cardinal用card (A)来表示有限集合A中元素的个数.例(基数)的缩写.
如,A={a,b,c},则card(A)=3.

看一个问题.某超市进了两次货,第一次进的货是圆珠笔、钢笔、橡皮、笔记本、方便面、汽水共6种,第二次进的货是圆珠笔、铅笔、火腿肠、方便面共4种,两次一共进了几种货?回答两次一共进了10(=6+4)种,显然是不对的.让我们试着从集合的角度考虑这个问题.
用集合A表示第一次进货的品种,用集合B表示第二次进货的品种,就有A={圆珠笔,钢笔,橡皮,笔记本,方便面,汽水}B={圆珠笔,铅笔,火腿肠,方便面}.
这里card(A)=6,card(B)=4. 求两次一共进了几种货,这个问题指的是求card(A\cup B). 这个例子中,两次进的货里有相同的品种,相同的品种数实际就是card(A\cap B).card(A),card(B),card(A\cup B),card(A\cap B)之间有什么关可以算出

$$card(A\cup B)=8,$$ $$card(A\cap B)=2.$$

一般地,对任意两个有限集合A,B,有

$$card(A\cup B)=card(A)+card(B)-card(A\cap B).$$

再来看一个问题.学校先举办了一次田径运动会,某班有8名同学参赛,又举办了一次球类运动会,这个班有12名同学参赛,两次运动会都参赛的有3人.
两次运动会中,这个班共有多少名同学参赛?用集合A表示田径运动会参赛的学生,用集合B表示球类运动会参赛的学生,就有A={x|x是田径运动会参赛的学生}B={x|x是球类运动会参赛的学生},那么

A\cap$B=${x|x是两次运动会都参赛的学生},A\cup B={x|x是所有参赛的学生},

$$card(A\cup B)=card(A)+card(B)-card(A\cap B)$$ $$=8+12-3=17.$$

所以,在两次运动会中,这个班共有17名同学参赛.
我们也可以用 Venn图来求解.

$$AABB$$

• (5) (3) (9)
  在上图中相应于 A\cap B 的区域里先填上3(card(A\cap B)=3),再在A中不包括A\cap B的区域? 这里的 3 是表示元里填上5(card(A)-card(A\cap B)=5),在B中不包素的个数, 而不是元素.
  括A\cap B的区域里填上9(card(B)-card(A\cap B)=9).
  图中我们特别加上括号,最后把这三个数加起来得17,这就是card(A\cup B). 另外两个数5,9也一样.
  这种图解法对于解比较复杂的问题 (例如涉及三个以上集合的并、交的问题)更能显示出它的优越性.对于有限集合A,B,C,你能发
  现card(A\cup B\cup C),card(A),card(B),card(C),card(A\cap B),card(B\cap C),

card(A\cap C),card(A\cap B\cap C)之间的关系吗?通过一个具体的例子,算一算.
有限集合中元素的个数,我们可以一一数出来.而对于元素个数无限的集合,如

$$A=1,2,3,4,...,n,...,$$ $$B=2,4,6,8,...,2n,...,$$

我们无法数出集合中元素的个数,但可以比较这两个集合中元素个数的多少.你能设计一种比较这两个集合中元素个数多少的方法吗?

1.4 充分条件与必要条件

在初中,我们已经对命题有了初步的认识.一般地,我们把用语言、符号或式子表达的,可以判断真假的陈述句叫做命题.判断为真的语句是真命题,判断为假的语句是假命题.中学数学中的许多命题可以写成 “若p,则q”“如果p,那么q”等形式.其中p称为命题的条件,q称为命题的结论.本节主要讨论这种形式的命题.下面我们将进一步考察“若p,则q”形式的命题中p和q的关系,学习数学中的三个常用的逻辑用语———充分条件、必要条件和充要条件.
下列 “若p,则q”形式的命题中,哪些是真命题?哪些是假命题?

• (1)若平行四边形的对角线互相垂直,则这个平行四边形是菱形;
• (2)若两个三角形的周长相等,则这两个三角形全等;
• (3)若x
• (4)若平面内两条直线a和b均垂直于直线l,则a\parallel b.
  在命题 (1)(4)中,由条件p通过推理可以得出结论q,所以它们是真命题.在命题 (2)(3)中,由条件p不能得出结论q,所以它们是假命题.
  一般地, “若p,则q”为真命题,是指由p通过推理可以得出q. 这时,我们就说,由p可以推出q,记作?此时,如果q不成pq,立,则p一定不成立.所并且说,p是q的充分条件 (sufficientcondition),q是p以,q对于p成立而言是的必要条件 ? (necessarycondition). 必要的.请举例说明.
  如果 “若p,则q”为假命题,那么由条件p不能推出结论q,记作p/q.此时,我们就说p不是q的充分条件,q不是p的必要条件.
  上述命题 (1)(4)中的p是q的充分条件,q是p的必

要条件,而命题 (2)(3)中的p不是q的充分条件,q不是p的必要条件.

例题 1：下列 “若p,则q”形式的命题中,哪些命题中的p是q的充分条件?

• (1)若四边形的两组对角分别相等,则这个四边形是平行四边形;
• (2)若两个三角形的三边成比例,则这两个三角形相似;
• (3)若四边形为菱形,则这个四边形的对角线互相垂直;
• (4)若x
• (5)若a=b,则ac=bc;
• (6)若x,y为无理数,则xy为无理数.
  解: (1)这是一条平行四边形的判定定理,pq,所以p是q的充分条件.
• (2)这是一条相似三角形的判定定理,pq,所以p
  是q的充分条件.
• (3)这是一条菱形的性质定理,pq,所以p是q的
  充分条件.
• (4)由于(-1) 2=1,但-1\ne 1,p/q,所以p不是q
  举反例是判断一个命的充分条件.
  题是假命题的重要方法.
• (5)由等式的性质知,pq,所以p是q的充分条件.
• (6)\sqrt{2}为无理数,但\sqrt{2}\times\sqrt{2}=2为有理数,p/q,所
  以p不是q的充分条件.

例题 1：中命题 (1)给出了 “四边形是平行四边形”的一个充分条件,即 “四边形

的两组对角分别相等”.这样的充分条件唯一吗?如果不唯一,那么你能再给出几个不同的充分条件吗?我们说p是q的充分条件,是指由条件p可以推出结论q,但这并不意味着只能由这个条件p才能推出结论q. 一般来说,对给定结论q,使得q成立的条件p是不唯一的.

例如,我们知道,下列命题均为真命题

1若四边形的两组对边分别相等,则这个四边形是平行四边形;
2若四边形的一组对边平行且相等,则这个四边形是平行四边形;
3若四边形的两条对角线互相平分,则这个四边形是平行四边形.
所以,“四边形的两组对边分别相等”“四边形的一组对边平行且相等” “四边形的两条对角线互相平分”都是 “四边形是平行四边形”的充分条件.
事实上,例1中命题 (1)及上述命题123均是平行四边形的判定定理.所以,平

行四边形的每一条判定定理都给出了 “四边形是平行四边形”的一个充分条件,即这个条件能充分保证四边形是平行四边形.类似地,平行线的每一条判定定理都给出了 “两直线平行”的一个充分条件,例如 “内错角相等”这个条件就充分保证了 “两条直线平行”.
一般地,数学中的每一条判定定理都给出了相应数学结论成立的一个充分条件.

例题 2：下列 “若p,则q”形式的命题中,哪些命题中的q是p的必要条件?

• (1)若四边形为平行四边形,则这个四边形的两组对角分别相等;
• (2)若两个三角形相似,则这两个三角形的三边成比例;
• (3)若四边形的对角线互相垂直,则这个四边形是菱形;
• (4)若x=1,则x
• (5)若ac=bc,则a=b;
• (6)若xy为无理数,则x,y为无理数.
  解:(1)这是平行四边形的一条性质定理,pq,所以,q是p的必要条件.
• (2)这是三角形相似的一条性质定理,pq,所以,q是p的必要条件.
• (3)如图 1.41,四边形 ABCD 的对角线互相垂直,

$$A$$

但它不是菱形,p/q,所以,q不是p的必要条件.

• (4)显然,pq,所以,q是p的必要条件.
• (5)由于(-1)\times 0=1\times 0,但-1\ne 1,p/q,所以,q不

$$BD$$

是p的必要条件.

• (6)由于1\times\sqrt{2}=\sqrt{2} 为无理数,但1,\sqrt{2} 不全是无理
  图1.41数,p/q,所以,q不是p的必要条件.
  一般地,要判断 “若p,则q”形式的命题中q是否为p的必要条件,只需判断是否有 “pq”,即 “若p,则q”是否为真命题.

例题 2：中命题 (1)给出了 “四边形是平行四边形”的一个必要条件,即 “这个四

边形的两组对角分别相等”.这样的必要条件是唯一的吗?如果不唯一,你能给出“四边形是平行四边形”的几个其他必要条件吗?我们说q是p的必要条件,是指以p为条件可以推出结论q,但这并不意味着由条件p只能推出结论q. 一般来说,给定条件p,由p可以推出的结论q是不唯一的.例如,

下列命题都是真命题

1若四边形是平行四边形,则这个四边形的两组对边分别相等;
2若四边形是平行四边形,则这个四边形的一组对边平行且相等;

3若四边形是平行四边形,则这个四边形的两条对角线互相平分.
这表明,“四边形的两组对边分别相等”“四边形的一组对边平行且相等” “四边形的两条对角线互相平分”都是 “四边形是平行四边形”的必要条件.
我们知道,例2中命题(1)及上述命题123均为平行四边形的性质定理.所以,平行四边形的每条性质定理都给出了 “四边形是平行四边形”的一个必要条件.类似地,平行线的每条性质定理都给出了 “两直线平行”的一个必要条件,例如 “同位角相等”是 “两直线平行”的必要条件,也就是说,如果同位角不相等,那么就不可能有 “两直线平行”.
一般地,数学中的每一条性质定理都给出了相应数学结论成立的一个必要条件.

• 1. 下列 “若p,则q”形式的命题中,哪些命题中的p是q的充分条件?
• (1)若平面内点P在线段AB的垂直平分线上,则P$A=PB;$
• (2)若两个三角形的两边及一边所对的角分别相等,则这两个三角形全等;
• (3)若两个三角形相似,则这两个三角形的面积比等于周长比的平方.

$$l$$

• 2. 下列 “若p,则q”形式的命题中,哪些命题中的q是p的必要条件?

$$a$$

• (1)若直线l与⊙犗有且仅有一个交点,则l为⊙犗的一条切线;
  3 2
• (2)若x是无理数,则x^2 也是无理数.

$$b$$

• 3. 如图,直线a与b被直线l所截,分别得到了\angle^1,\angle^2,\angle^3和\angle^4. 请根
     (第3题)据这些信息,写出几个 “a\parallel b”的充分条件和必要条件.
     下列 “若p,则q”形式的命题中,哪些命题与它们的逆命题都是真命题?
• (1)若两个三角形的两角和其中一角所对的边分别相等,则这两个三角形全等;
• (2)若两个三角形全等,则这两个三角形的周长相等;
• (3)若一元二次方程ax^2+bx+$c=0$有两个不相等的实数根,则a$c<0;$
• (4)若A\cup B是空集,则A与B均是空集.
  不难发现,上述命题中的命题 (1)(4)和它们的逆命题都是真命题;命题 (2)是真命题,但它的逆命题是假命题;
  将命题 “若p,则q”命题 (3)是假命题,但它的逆命题是真命题. 中的条件 p 和结论q互换,就得到一个新的命题如果 “若p,则q”和它的逆命题 “若q,则p”均是“若q,则p”,称这个命真命题,即既有pq,又有qp,就记作题为原命题的逆命题.

pq.
此时,p既是q的充分条件,也是q的必要条件,我们说p是q的充分必要条件,简称为充要条件 (necessaryandsufficientcondition).显然,如果p是q的充要条件,那么q也是p的充要条件.
概括地说,如果pq,那么p与q互为充要条件.上述命题 (1)(4)中的p与q互为充要条件.

例题 3：下列各题中,哪些p是q的充要条件?

• (1)p:四边形是正方形,q:四边形的对角线互相垂直且平分;
• (2)p:两个三角形相似,q:两个三角形三边成比例;
• (3)p:xy>0,q:x>0,y>0;
• (4)p:$x=1$是一元二次方程ax^2+bx+$c=0$的一个根,q:a+b+$c=0$ ($a\ne 0)$
  解: (1)因为对角线互相垂直且平分的四边形不一定是正方形 (为什么),所以q/p,所以p不是q的充要条件.
• (2)因为 “若p,则q”是相似三角形的性质定理,“若q,则p”是相似三角形的判
  定定理,所以它们均为真命题,即pq,所以p是q的充要条件.
• (3)因为x$y>0$时$x>0,y>0$不一定成立 (为什么),所以p/q,所以p不是q
  的充要条件.
• (4)因为 “若p,则q”与 “若q,则p”均为真命题,即pq,所以p是q的充要
  条件.
  通过上面的学习,你能给出 “四边形是平行四边形”的充要条件吗?可以发现,“四边形的两组对角分别相等”“四边形的两组对边分别相等” “四边形的一组对边平行且相等”和 “四边形的对角线互相平分”既是 “四边形是平行四边形”的充分条件,又是必要条件,所以它们都是 “四边形是平行四边形”的充要条件.

另外,我们再看平行四边形的定义

两组对边分别平行的四边形叫做平行四边形,它表明 “四边形的两组对边分别平行”也是 “四边形是平行四边形”的一个充要条件.
上面的这些充要条件从不同角度刻画了 “平行四边形”这个概念,据此我们可以给出

平行四边形的其他定义形式.例如

两组对边分别相等的四边形叫做平行四边形;
对角线互相平分的四边形叫做平行四边形.
类似地,利用 “两个三角形全等”的充要条件,可以给出 “三角形全等”的其他定义

形式,而且这些定义是相互等价的;同样,利用 “两个三角形相似”的充要条件,可以给出 “相似三角形”其他定义形式,这些定义也是相互等价的;等等.

例题 4：已知:⊙犗的半径为r,圆心犗到直线l的距离为d. 求证:$d=r$是直线l与

⊙犗相切的充要条件.
分析:设p:$d=r,q:$直线l与⊙犗相切.要证p是q的充要条件,只需分别证明充分性 (pq)和必要性 (qp)即可.
证明:设p:$d=r,q:$直线l与⊙犗相切.

• (1)充分性 (pq):如图1.42,作犗P\perp l于点P,则

$$O$$

犗$P=d$ 若$d=r$则点P在⊙犗上.在直线l上任取一点$\mathbb{Q}$(异于点P),连接犗$\mathbb{Q}$. 在 Rt\triangle犗P$\mathbb{Q}$中,犗$\mathbb{Q}$>犗$P=r$ 所以,

$$l$$ $$P$$

除点P外直线l上的点都在⊙犗的外部,即直线l与⊙犗仅有图1.42一个公共点P. 所以直线l与⊙犗相切.

• (2)必要性 (qp):若直线l与⊙犗相切,不妨设切点
  为P,则犗P\perp l. 因此,d=犗P=r.
  由 (1)(2)可得,$d=r$是直线l与⊙犗相切的充要条件.
• 1. 下列各题中,哪些p是q的充要条件?
• (1)p:三角形为等腰三角形,q:三角形存在两角相等;

$$AD$$

• (2)p:⊙犗内两条弦相等,q:⊙犗内两条弦所对的圆周角相等;
• (3)p:A\cap B为空集,q:A与B之一为空集.
• 2. 分别写出 “两个三角形全等”和 “两个三角形相似”的几个充要条件. B C
• 3. 证明:如图,A$C=BD$是梯形ABCD为等腰梯形的充要条件.
     (第3题)

习题 1.4

• 1. 举例说明:
• (1)p是q的充分不必要条件;
• (2)p是q的必要不充分条件;
• (3)p是q的充要条件.
• 2. 在下列各题中,判断p是q的什么条件 (请用 “充分不必要条件” “必要不充分条件” “充要

条件”“既不充分也不必要条件”回答)

• (1)p:三角形是等腰三角形,q:三角形是等边三角形;
• (2)p:一元二次方程ax^2+bx+$c=0$有实数根,q:b^2-4a$c\ge 0$ ($a\ne 0);$
• (3)p:a\in P\cap\mathbb{Q},q:a\in P;
• (4)p:a\in P\cup\mathbb{Q},q:a\in P;
• (5)p:x>y,q:x^2>y
• 3. 判断下列命题的真假:
• (1)点P到圆心犗的距离大于圆的半径是点P在⊙犗外的充要条件;
• (2)两个三角形的面积相等是这两个三角形全等的充分不必要条件;
• (3)A\cup$B=A$是BA的必要不充分条件;
• (4)x或y为有理数是xy为有理数的既不充分也不必要条件.
• 4. 已知A={x|x满足条件p}B={x|x满足条件q},
• (1)如果AB,那么p是q的什么条件?
• (2)如果BA,那么p是q的什么条件?
• (3)如果$A=B$那么p是q的什么条件?
• 5. 设a,b,$c\in \mathbb{R}$. 证明:$a=b=c$是a^2+b^2+$c^2=ab+ac+bc$的充要条件.
• 6. 设a,b,c分别是\triangleABC的三条边,且$a\le b\le c$ 我们知道,如果\triangleABC为直角三角形,那
     么a^2+$b^2=c^2$ (勾股定理).反过来,如果a^2+$b^2=c^2$那么\triangleABC为直角三角形 (勾股定理的逆定理).由此可知,a^2+$b^2=c^2$ 是\triangleABC为直角三角形的充要条件.
     请利用边长a,b,c分别给出\triangleABC为锐角三角形和钝角三角形的一个充要条件,并证明.

几何命题与充分条件、必要条件通过前面的学习我们发现,对于一种几何图形或几何图形之间的关系,可以通过充要条件给出它的等价定义,通过充分条件给出它的判定定理,通过必要条件给出它的性质定理.利用充分条件、必要条件梳理已学的几何命题,可以促进我们更深入地理解几何图形及其关系.下面以相似三角形为例进行说明.
为了方便,我们记q:两个三角形相似.

• 1. 相似三角形的定义
     三角形的相似是三角形之间的一种关系,它的定义是:三个角分别相等、三条边成比例的两个三角形叫做相似三角形.
     记p:三个角分别相等且三条边成比例.因为pq,qp,所以p是q的充要条件.
     三条边、三个内角是三角形的六个要素,相似三角形的定义从两个三角形各要素间的相互关系给出了两个三角形相似的充要条件.
• 2. 相似三角形的判定
     相似三角形的判定指出了 “满足什么条件的两个三角形相似”.初中学过如下

判定定理

• (1)三边成比例的两个三角形相似;
• (2)两边成比例且夹角相等的两个三角形相似;
• (3)两角分别相等的两个三角形相似.
  记p :三边成比例,p :两边成比例且夹角相等,p :两角分别相等,我们1 2 3有p q,p q,p q,即p,p,p 分别给出了q的一个充分条件.
  1 2 3 1 2 3上述判定定理分别从两个三角形的边、边角、角等要素之间的相互关系给出了相似三角形的充分条件.事实上,我们还可以给出相似三角形的其他充分条件,例如 “相似于同一个三角形的两个三角形相似”(这表明,“相似”具有传递性).
  利用判定定理我们可以判定两个三角形是相似三角形.
  想一想:(1)你能给出相似三角形的其他充分条件吗?(2)利用判定定理可以判定两个三角形不是相似三角形吗?为什么?
• 3. 相似三角形的性质
     相似三角形的性质给出了两个三角形相似所必须满足的条件.换言之,如果不满足这个条件,那么这两个三角形就一定不相似.在初中,我们学过的相似三

角形性质定理有

• (1)相似三角形对应线段的比都相等 (等于相似比),特别地,相似三角形的对
  应边之比、对应高之比、对应中线之比、对应角平分线之比都相等 (等于相似比);
• (2)相似三角形的对应角相等;
• (3)相似三角形周长的比等于对应边之比 (相似比);
• (4)相似三角形面积的比等于对应边之比的平方 (相似比的平方).
  记r:对应线段的比等于相似比,r:对应角相等,r:周长的比等于对应1 2 3边之比,r:面积的比等于对应边之比的平方,我们有qr,qr,qr,4 1 2 3qr,即r,r,r,r分别给出了q的一个必要条件.例如,如果r不成立,4 1 2 3 4 1即对应线段的比不全相等,那么这两个三角形就一定不相似.因此,利用性质定理可以判定两个三角形不是相似三角形.
  想一想:利用性质定理可以判定两个三角形是相似三角形吗?为什么?以上性质定理分别从三角形的要素、三角形中的重要线段及重要几何量等方面给出了相似三角形的必要条件.你能给出相似三角形的其他必要条件吗?分析上述命题,可以发现,有些条件是q的充要条件,例如p (r),p,1 1 2p (r),据此可以构造出相似三角形的等价定义:
  3 2
• (1)三边成比例的两个三角形叫做相似三角形;
• (2)两边成比例且夹角相等的两个三角形叫做相似三角形;
• (3)两角分别相等的两个三角形叫做相似三角形.
  由上述任意一个定义出发,我们也可以推出相似三角形的其他性质,你能试请你仿照上述思路,对等腰三角形、直角三角形、平行四边形 (矩形、菱形、正方形)等图形的知识进行梳理.
  

1.5 全称量词与存在量词

我们知道,命题是可以判断真假的陈述句.在数学中,有时会遇到一些含有变量的陈述句,由于不知道变量代表什么数,无法判断真假,因此它们不是命题.但是,如果在原语句的基础上,用一个短语对变量的取值范围进行限定,就可以使它们成为一个命题,我们把这样的短语称为量词.本节将学习全称量词和存在量词,以及如何正确地对含有一个量词的命题进行否定.
下列语句是命题吗?比较 (1)和 (3),(2)和 (4),它们之间有什么关系?

• (2)
• (3)对所有的x\in\mathbb{R},x>3;
• (4)对任意一个x\in\mathbb{Z},2x+1是整数.
  语句 (1)(2)中含有变量x,由于不知道变量x代表什么数,无法判断它们的真假,所以它们不是命题.语句 (3)在 (1)的基础上,用短语 “所有的”对变量x进行限定;
  语句 (4)在 (2)的基础上,用短语 “任意一个”对变量x进行限定,从而使 (3)(4)成为可以判断真假的语句,因此语句 (3)(4)是命题.
  短语 “所有的”“任意一个”在逻辑中通常叫做全称量词 (universalquantifier),并用符号 “”表示.含有全称常见的全称量词还有量词的命题,叫做全称量词命题.例如,命题 “对任意的“一切” “每一个” “任$n\in \mathbb{Z}$,2n+1是奇数” “所有的正方形都是矩形”都是全称给”等.
  量词命题.
  通常,将含有变量x的语句用p(x),q(x),r(x),…
  表示,变量x的取值范围用犕表示.那么,全称量词命题“对犕中任意一个x,p(x)成立”可用符号简记为
  x\in犕,p(x).

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

• (1)所有的素数都是奇数;
  ?如果一个大于1的
• (2)x\in\mathbb{R},|x|+1\ge 1;
  整数,除1和自身外无其
• (3)对任意一个无理数x,x^2 也是无理数.
  他正因数,则称这个正整分析:要判定全称量词命题 “x\in犕,p(x)”是真命数为素数.
  题,需要对集合犕中每个元素x,证明p(x)成立;如果在集合犕中找到一个元素x,使p(x )不成立,那么这个全0 0称量词命题就是假命题.
  ?这个方法就是 “举解:(1)^2是素数,但2不是奇数.所以,全称量词命反例”.
  题 “所有的素数是奇数”是假命题.
• (2)x\in\mathbb{R},总有|x|\ge 0,因而|x|+1\ge 1. 所以,全
  称量词命题 “$x\in \mathbb{R}$,|x|+1\ge 1”是真命题.
• (3)\sqrt{2}是无理数,但 (\sqrt{2}) 2=2是有理数.所以,全称
  量词命题 “对每一个无理数x,x^2 也是无理数”是假命题.
  下列语句是命题吗?比较 (1)和 (3),(2)和 (4),它们之间有什么关系?
• (1)
• (2)x能被2和3整除;
• (3)存在一个x\in\mathbb{R},使2x+1=3;
• (4)至少有一个$x\in \mathbb{Z}$,x能被2和3整除.
  容易判断, (1)(2)不是命题.语句 (3)在 (1)的基础上,用短语 “存在一个”对变量x的取值进行限定;语句
• (4)在 (2)的基础上,用 “至少有一个”对变量x的取值
  进行限定,从而使 (3)(4)变成了可以判断真假的陈述句,因此 (3)(4)是命题.
  短语 “存在一个”“至少有一个”在逻辑中通常叫做存在量词(existentialquantifier),并用符号 “”表示.含有存在常见的存在量词还有量词的命题,叫做存在量词命题.
  “有些” “有一个” “对某例如,命题 “有的平行四边形是菱形” “有一个素数不些”“有的”等.
  是奇数”都是存在量词命题.
  存在量词命题 “存在犕中的元素x,p(x)成立”可用符号简记为
  x\in犕,p(x).

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

• (1)有一个实数x,使x
• (2)平面内存在两条相交直线垂直于同一条直线;
• (3)有些平行四边形是菱形.
  分析:要判定存在量词命题 “x\in犕,p(x)”是真命题,只需在集合犕中找到一个元素x,使p(x)成立即可;如果在集合犕中,使p(x)成立的元素x不存在,那么这个存在量词命题是假命题.
  解:(1)由于Δ=22-4\times 3=-8<0,因此一元二次方程x^2+2x+3=0无实根.所以,存在量词命题 “有一个实数x,使x
• (2)由于平面内垂直于同一条直线的两条直线互相平行,因此平面内不可能存在两条
  相交直线垂直于同一条直线.所以,存在量词命题 “平面内存在两条相交直线垂直于同一条直线”是假命题.
• (3)由于正方形既是平行四边形又是菱形,所以存在量词命题 “有些平行四边形是菱
  形”是真命题.
• 1. 判断下列全称量词命题的真假:
• (1)每个四边形的内角和都是360°;
• (2)任何实数都有算术平方根;
• (3)x\in{y|y是无理数},x^3 是无理数.
• 2. 判断下列存在量词命题的真假:
• (1)存在一个四边形,它的两条对角线互相垂直;
• (2)至少有一个整数n,使得n
• (3)x\in{y|y是无理数},x^2 是无理数.
  !)*+,/01-.+,/0234一般地,对一个命题进行否定,就可以得到一个新的命题,这一新命题称为原命题的否定.例如,“56是7的倍数”一个命题和它的否定的否定为 “56不是7的倍数”, “空集是集合$A=${1,2,3}$不能同时为真命题,也不的真子集”的否定为“空集不是集合$A=$1,2,3$的真子能同时为假命题,只能一集”.下面,我们学习利用存在量词对全称量词命题进行否真一假.
  定,以及利用全称量词对存在量词命题进行否定.

写出下列命题的否定

• (1)所有的矩形都是平行四边形;
• (2)每一个素数都是奇数;
• (3)x\in\mathbb{R},x+|x|\ge 0.
  它们与原命题在形式上有什么变化?上面三个命题都是全称量词命题,即具有 “x\in犕,p(x)”的形式.其中命题 (1)的否定是 “并非所有的矩形都是平行四边形”,也就是说,存在一个矩形不是平行四边形;
  命题 (2)的否定是 “并非每一个素数都是奇数”,也就是说,存在一个素数不是奇数;
  命题 (3)的否定是 “并非所有的$x\in \mathbb{R}$,x+|x|\ge 0”,也就是说,

$$x\in \mathbb{R},x+|x|<0.$$

从命题形式看,这三个全称量词命题的否定都变成了存在量词命题.
一般来说,对含有一个量词的全称量词命题进行否定,我们只需把 “所有的” “任意一个”等全称量词,变成 “并非所有的” “并非任意一个”等短语即可.也就是说,假定全称量词命题为 “x\in犕,p(x)”,则它的否定为 “并非 x\in犕,p(x)”,也就是“x\in犕,p(x)不成立”.通常,用符号 “p(x)”表示 “p(x)不成立”.
对于含有一个量词的全称量词命题的否定,有下面的结论:

全称量词命题

x\in犕,p(x),

它的否定

x\in犕, p(x).

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

例题 3：写出下列全称量词命题的否定:

• (1)所有能被3整除的整数都是奇数;
• (2)每一个四边形的四个顶点在同一个圆上;
• (3)对任意$x\in \mathbb{Z}$,x^2 的个位数字不等于3.
  解:(1)该命题的否定:存在一个能被3整除的整数不是奇数.
• (2)该命题的否定:存在一个四边形,它的四个顶点不在同一个圆上.
• (3)该命题的否定:$x\in \mathbb{Z}$,x^2 的个位数字等于3.

写出下列命题的否定

• (1)存在一个实数的绝对值是正数;
• (2)有些平行四边形是菱形;
• (3)x\in\mathbb{R},x^2-2x+3=0.
  它们与原命题在形式上有什么变化?这三个命题都是存在量词命题,即具有 “x\in犕,p(x)”的形式.其中命题 (1)的否定是 “不存在一个实数,它的绝对值是正数”,也就是说,所有实数的绝对值都不是正数;
  命题 (2)的否定是 “没有一个平行四边形是菱形”,也就是说,每一个平行四边形都不是菱形;
  命题 (3)的否定是 “不存在$x\in \mathbb{R}$,x

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

从命题形式看,这三个存在量词命题的否定都变成了全称量词命题.
一般来说,对含有一个量词的存在量词命题进行否定,我们只需把 “存在一个” “至少有一个” “有些”等存在量词,变成 “不存在一个” “没有一个”等短语即可.也就是说,假定存在量词命题为 “x\in犕,p(x)”,则它的否定为 “不存在x\in犕,使p(x)成立”,也就是 “x\in犕,p(x)不成立”.
对含有一个量词的存在量词命题的否定,有下面的结论:

存在量词命题

x\in犕,p(x),

它的否定

x\in犕, p(x).

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

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

• (1)x\in\mathbb{R},x+2\le 0;
• (2)有的三角形是等边三角形;
• (3)有一个偶数是素数.
  解:(1)该命题的否定:x\in\mathbb{R},x+2>0.
• (2)该命题的否定:所有的三角形都不是等边三角形.
• (3)该命题的否定:任意一个偶数都不是素数.

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

• (1)任意两个等边三角形都相似;
• (2)x\in\mathbb{R},x^2-x+1=0.
  解:(1)该命题的否定:存在两个等边三角形,它们不相似.因为任意两个等边三角形的三边成比例,所以任意两个等边三角形都相似.因此这是一个假命题.
• (2)该命题的否定:$x\in \mathbb{R}$,x^2-x+1\ne 0. 因为对任意$x\in \mathbb{R}$,
  ( 1) 3

$$x^2-x+1=x-2+>0,$$

2 4所以这是一个真命题.

• 1. 写出下列命题的否定:
• (1)n\in\mathbb{Z},n\in\mathbb{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

• 3. 写出下列命题的否定:

• (1)x\in\mathbb{Z},|x|\in\mathbb{N};

• (2)所有可以被5整除的整数,末位数字都是0;

• (3)x\in\mathbb{R},x+1\ge 0;

• (4)存在一个四边形,它的对角线互相垂直.

• 4. 判断下列命题的真假,并写出这些命题的否定:

• (1)平面直角坐标系下每条直线都与x轴相交;

• (2)每个二次函数的图象都是轴对称图形;

• (3)存在一个三角形,它的内角和小于180°;

• (4)存在一个四边形,它的四个顶点不在同一个圆上.

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

• (1)平行四边形的对角线互相平分;

• (2)三个连续整数的乘积是6的倍数;

• (3)三角形不都是中心对称图形;

• (4)一元二次方程不总有实数根.

• 6. 在本节,我们介绍了命题的否定的概念,知道一个命题的否定仍是一个命题,它和原先的命题
     只能一真一假,不能同真或同假.
     在数学中,有很多 “若p,则q”形式的命题,有的是真命题,有的是假命题.例如:
     1 若x>1,则2x+1>5;(假命题)2 若四边形为等腰梯形,则这个四边形的对角线相等.(真命题)这里,命题12都是省略了量词的全称量词命题.

• (1)有人认为,1的否定是 “若$x>1$则2x+1\le 5”,2的否定是 “若四边形为等腰梯形,
  则这个四边形的对角线不相等”.你认为对吗?如果不对,请你正确地写出命题 1 2 的否定.

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

$$56789:;<$$

本章我们学习了集合的有关概念、关系和运算,还学习了充分条件、必要条件、充要条件,全称量词、存在量词、全称量词命题与存在量词命题的否定.
这些知识在后续学习中会得到大量应用,是进一步学习的重要基础.
为了有效使用集合语言表述数学的研究对象,首先应掌握集合语言的表述方式.为此,我们先学习了集合的含义,明确了集合中元素的确定性、无序性和互异性等特征;再学习了列举法、描述法等集合的表示法,其中描述法利用了研究对象的某种特征,需要先理解研究对象的性质;类比数与数的关系,我们研究了集合之间的包含关系与相等关系,这些关系是由元素与集合的关系决定的,其中集合的相等关系很重要;类比数的运算,我们学习了集合的交、并、补运算,通过这些运算可以得到与原有集合紧密关联的集合,由此可以表示研究对象的某些关系,从中我们可以体会到,数学中的运算并不局限于数的运算,这对提升我们的数学运算素养是很有意义的.在学习中,要注意 “集合的含义与表示—集合的关系—集合的运算”这个研究路径.
常用逻辑用语是数学语言的重要组成部分,是逻辑思维的基本语言,也是数学表达和交流的工具.结合初中学过的平面几何和代数知识,我们学习了常用逻辑用语,发现初中学过的数学定义、定理、命题都可以用常用逻辑用语表达,利用常用逻辑用语表述数学内容、进行推理论证,可以大大提升表述的逻辑性和准确性,从而提升我们的逻辑推理素养.
本章的学习不仅要为后续学习做好知识技能的准备,更重要的是要为整个高中数学学习做好心理准备,初步形成适合高中数学学习的方式方法,使我们

能更好地适应高中数学学习.
请你带着下面的问题,复习一下全章的内容吧!

• 1. 集合中的元素具有确定性、互异性和无序性,你能结合例子说明这些特性吗?
• 2. 你能用集合表示平面内线段AB的垂直平分线吗?结合集合的描述法谈
     谈你的体会.
• 3. 用联系的观点看问题,可以使我们更深刻地理解数学知识.本章中,我
     们类比数与数的关系和运算研究了集合与集合的关系和运算.你认为这样的类比对发现和提出集合的问题有什么意义?你能类比数的减法运算给出集合的减法运算吗?
• 4. 对给定的p和q,如何判定p是q的充分不必要条件、必要不充分条件、
     充要条件、既不充分也不必要条件?你能举例说明吗?
• 5. 如何否定含有一个量词的全称量词命题和存在量词命题?你能举例说明吗?

复习参考题 1

• 1. 用列举法表示下列集合:

• (1)A={x|x^2=9}; (2)B={x\in\mathbb{N}|1\le x\le 2};

• (3)C={x|x

• 2. 设P表示平面内的动点,属于下列集合的点组成什么图形?

• (1){P|PA=PB}(A,B是两个不同定点);

• (2){P|P犗=3cm}(犗是定点).

• 3. 设平面内有\triangleABC,且P表示这个平面内的动点,指出属于集合{P|PA=PB}\cap{P|PA=
     PC}的点是什么.
• 4. 请用 “充分不必要条件”“必要不充分条件”“充要条件”“既不充分也不必要条件”填空:

• (1)三角形两边上的高相等是这个三角形为等腰三角形的 ;

• (2)x\in A是x\in A\cup B的 ;

• (3)x\in A是x\in A\cap B的 ;

• (4)x,y为无理数是x+y为无理数的 .

• 5. 已知a,b,c是实数,判断下列命题的真假:

• (1)“a>b”是 “a^2>b^2”的充分条件; ( )

• (2)“a>b”是 “a^2>b^2”的必要条件; ( )

• (3)“a>b”是 “ac^2>bc^2”的充分条件; ( )

• (4)“a>b”是 “ac^2>bc^2”的必要条件. ( )

• 6. 用符号 “”与 “”表示下列含有量词的命题,并判断真假:

• (1)任意实数的平方大于或等于0;

• (2)对任意实数a,二次函数$y=x^2+a$的图象关于y轴对称;

• (3)存在整数x,y,使得2x+4y=3;

• (4)存在一个无理数,它的立方是有理数.

• 7. 写出下列命题的否定,并判断它们的真假:

• (1)$a\in \mathbb{R}$,一元二次方程x

• (2)每个正方形都是平行四边形;

• (3)m\in\mathbb{N},\sqrt{m}2+1\in\mathbb{N};

• (4)存在一个四边形ABCD,其内角和不等于360°.

• 8. 已知集合A={(x,y)|2x-y=0},B={(x,y)|3x+y=0},C={(x,y)|2x-y=3},求
     A\cap B,A\cap C,并解释它们的几何意义.
• 9. 已知集合A={1,3,a^2},B={1,a+2}是否存在实数a,使得A\cupB=A?若存在,试求
     出实数a的值;若不存在,请说明理由.
• 10. 把下列定理表示的命题写成含有量词的命题:

• (1)勾股定理;

• (2)三角形内角和定理.

• 11. 学校举办运动会时,高一 (1)班共有28名同学参加比赛,有15人参加游泳比赛,有8人参
      加田径比赛,有14人参加球类比赛,同时参加游泳比赛和田径比赛的有3人,同时参加游泳比赛和球类比赛的有3人,没有人同时参加三项比赛.同时参加田径和球类比赛的有多少人?只参加游泳一项比赛的有多少人?
• 12. 根据下述事实,分别写出含有量词的全称量词命题或存在量词命题:

$$A$$

• (1)

$$F$$ $$1+3=22,$$ $$1+3+5=32,O$$ $$1+3+5+7=42,$$ $$BDC$$

1+3+5+7+9=52, (第12 (2)题)

…

• (2)如图,在\triangleABC中,AD,BE与CF分别为BC,AC与AB边上的高,则AD,BE与
  CF所在的直线交于一点犗.