关系
自然语言
符号语言
维恩Ve
图
子集集合A中_____元素都在集合B中
AB或BA
真子集合A是集合B的_____，且集合B中AB或BA
集_____有一个元素_____集合A中
集合
集合A，B中满足AB且BA相等
AB
符号
_____
_____或_____
2集合间的基本关系
3集合的基本运算
运算
自然语言
_____
_____________________
符号语言
维恩Ve
图
交集
由属于集合A____属于集合B的所有元素组成的集合
A∩B＝xx∈A____x∈B
并集
由所有属于集合A____属于集合B的元素组成的集合
A∪B＝xx∈A____x∈B
1．集合与元素
1集合中元素的三个特征：
性、
性、
性
2元素与集合的关系是属于或不属于两种，用符号或
表示．
3集合的表示法：
法、
法、维恩Ve
图法
4常见数集的记法
集合自然数集正整数集
整数集
有理数集
实数集
无理数集
复数集
补集
由全集U中________集合A的所有元素组成的集合
UA＝xx∈U且x____A
1．若有限集A中有
个元素，则集合A的子集个数为
，真子集的个数为

A的非空子集个数为
A的非空真子集个数为
2．ABA∩B＝
A∪B＝

3．A∩UA＝
；A∪UA＝
；UUA＝

4A___A___AABBCA___C
f5CUA∩B_________CUA∪B__________61cardABcardAcardBcardAB
2存在性命题：含有
量词的命题．
3存在性命题的符号表示：
2cardABCcardAcardBcardCcardABcardBCcardCAcardABC
补充1：设有限集合A、B、C，cardA
，cardBmm
则
①若BCA则C的个数为
；②若BCA则C的个数为
；
③若BCA则C的个数为
；若BCA则C的个数为

形如“存在集合M中的元素x，qx”的命题，用符号简记为
．
4全称命题与存在性命题的否定
命题
命题的否定
x∈M，px
x∈M，qx
2．含一个量词的命题的否定的规律是“改
，否
”
4基本逻辑联结词
1命题中的“且”、“或”、“非”叫做逻辑联结词．
2命题真值表
（1）“非p”形式的命题的真假与p的真假_______；
1．命题的概念
pqp∧qp∨q
能够
的语句叫做命题．其中判断为的语句叫真命题，判断为的语句叫假命题．
真真
2．全称量词与全称命题
假真
1全称量词：短语“所有”在陈述中表示所述事物的全体，逻辑中通常叫做全称量词，并用符号“”
真假
表示．
假假
2全称命题：含有
量词的命题．
非p
（2）“p且q”形式复合命题____________；（
3）“p或q”形式复合命题____________．
3全称命题的符号表示：
形如“对M中的所有x，px”的命题，用符号简记为“
”．
3．存在r