1 . 全称量词命题与存在量词命题的否定
（1）全称量词命题：的否定为_____________.
（2）存在量词命题：的否定为______________.

2 . 在数学中，有些已经被证明为真的____可以作为推理的依据直接使用，一般称之为定理.

3 . 在数学中，许多命题可表示为“若则”，其中叫作命题的___，叫作命题的___.

4 . 在数学中，我们常常遇到定义，定义是对某些对象标明__、指明___，或者揭示所研究问题中对象的____．

5 . 如果集合的_______一个元素都是集合中的元素，那么集合称为集合的子集，记为______，读作“包含于”或“包含”．用图可表示为
   

6 . 如果，且_________，则称是的真子集，即为.

7 . 集合的表示方法用两种，他们分别是________和_______．

8 . 一般地，一定范围内某些______，______的全体组成一个集合．集合中的每一个对象称为该集合的____，简称元，集合中元素的具有____、____、____.

9 . 子集
（1）如果集合的_______都是集合中的元素，这是我们说集合包含于，或者集合______集合，记为______.
（2）如果，那么我们称集合和集合相等，记为______．
（3）如果，且存在，则称是的真子集，记为_______．
（4）在数学中，我们常用韦恩图来表示集合，如图所示的两个集合，它们的关系是______;可记为________.

（5）如果集合中有个不同的元素，则的所有子集的个数为______.

10 . 集合的基本运算

	文字语言	符号语言	图形语言	记法
并 集	由所有属于集合A_____集合B的元素组成的集合	{x|x∈A，或 x∈B}		______
交 集	由所有属于集合A_____集合B的元素组成的集合	{x|x∈A，且 x∈B}		______
补 集	由全集U中______集合A的所有元素组成的集合	{x|x∈U，且 x∉A}		______