离散数学模拟试卷和答案
离散数学样卷十二套(含答案)
一、证明下列各题1、 （10分）证明蕴涵式：()P P Q Q ∧→⇒2、（10分）证明：,1111f g f g -⇒-I 为函数为函数。
5、 3、（10分）给定代数结构,N ⨯和{}0,1,⨯，其中N 是自然数集合，⨯是数的乘法。
设{}:0,1f N →，定义为：12,,()0k n n k N f n ⎧=∈=⎨⎩否则试证}01N ⨯≅⨯，，，。
4、（10分）给定代数结构,R *，其中R 是实数集合，对R 中任意元a 和b ，*定义如下：a b a b a b *=++⨯ 试证明：,R *是独异点。
二、求下列各题的解：1、试求下列公式的主析取范式和主合取范式（15分）：()()P Q P Q ⌝∨⌝→⌝€2、（15分）{}010*********R =设，，，，，，，，，，，，试求（1）、R R *，（2）、{}1R ↑，（3）、{}11R -↑，（4）、{}1R ⎡⎤⎣⎦，（5）、{}11R -⎡⎤⎣⎦3、（15分给定无向图,G V E =，如图，试求： F E DCA B（1） 从A 到D 的所有基本链； （2） 从A 到D 的所有简单链；（3） 长度分别是最小和最大的简单圈； （4） 长度分别是最小和最大的基本圈； （5） 从A 到D 的距离。
4、（15分）给定二部图12,,G E V =，如图 9v 8v 7v 6v 1V1v 2v 3v 4v 5v 2V 试求1V 到2V 的最大匹配一、证明下列各题1、 （10分）证明蕴涵式：()P Q P P Q →⇒→∧2、（10分）证明：()()()A B C A B A C ⨯-=⨯-⨯3、（10分）给定群,G ，则,G 为Abel 群⇔222()()(,())∀∀∈→=a b a b G a b a b4、（10分）给定代数结构,S *，其中S 中元为实数有序对，*定义为 ,,,2a b c d a c b d bd *=+++，试证,S *是可交换独异点。
离散数学模拟题及答案
一、填空1．不能再分解的命题称为____________，至少包含一个联结词的命题称为____________。
2．一个命题公式A(P, Q, R)为真的所有真值指派是000, 001, 010, 100，则其主析取范式是__________________，其主合取范式是_________________。
3．设A={a,b,c}，B={b,c,d,e}，C={b,c}，则( A ⋃ ⊕＝____________。
4．幂集P(P(∅)) ＝________________。
5．设A为任意集合，请填入适当运算符，使式子A________A=∅；A________A’=∅成立。
6．设A={0，1，2，3，6}，R={〈x,y〉|x≠y∧(x,y∈A)∧y≡x(mod 3)}，则D(R)=____________，R(R)=____________。
7．称集合S是给定非空集合A的覆盖：若S={S1，S2，…，S n}，其中S i⊆A，S i≠Ø，i=1，2，…，n，且______ _____；进一步若_____ _______，则S是集合A的划分。
8．两个重言式的析取是____ ____式，一个重言式和一个永假式的合取式是式。
9．公式┐(P∨Q) ←→(P∧Q)的主析取范式是。
10. 已知Π={{a}{b,c}}是A={a,b,c}的一个划分，由Π决定的A上的一个等价关系是。
二、证明及求解1．求命题公式（P→Q）→（Q∨P）的主析取范式。
2．推理证明题1）⌝P∨Q，⌝Q∨R，R→S⇒P→S。
2) (∀x)(P(x)→Q(y)∧R(x))，(∃x)P(x)⇒Q(y)∧(∃x)(P(x)∧R(x))x)}，S={〈x,y〉|x,y∈A∧（x=y+2）}。
3．设A={0，1，2，3}，R={〈x,y〉|x,y∈A∧(y=x+1∨y=2试求R S R。
4．证明：R是传递的⇔R*R⊆R。
5．设R是A上的二元关系，S={<a, b>| 存在c∈A，使<a, c>∈R，且<c, b>∈R}。
离散数学试题及答案
离散数学试题及答案一、选择题1. 设A、B、C为三个集合，下列哪个式子是成立的？A) \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\)B) \(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\)C) \(A \cup (B \cup C) = (A \cup B) \cup (A \cup C)\)答案：B2. 对于一个有n个元素的集合S，S的幂集中包含多少个元素？A) \(n\)B) \(2^n\)C) \(2 \times n\)答案：B二、判断题1. 对于两个关系R和S，若S是自反的，则R ∩ S也是自反的。
答案：错误2. 若一个关系R是反对称的，则R一定是反自反的。
答案：正确三、填空题1. 有一个集合A，其中包含元素1、2、3、4和5，求集合A的幂集的大小。
答案：322. 设a和b是实数，若a \(\neq\) b，则a和b之间的关系是\(\__\_\)关系。
答案：不等四、解答题1. 证明：如果关系R是自反且传递的，则R一定是反自反的。
解答：假设关系R是自反的且传递的，即对于集合A中的任意元素x，都有(x, x) ∈ R，并且当(x, y) ∈ R和(y, z) ∈ R时，(x, z) ∈ R。
反证法：假设R不是反自反的，即存在一个元素a∈A，使得(a, a) ∉ R。
由于R是自反的，所以(a, a) ∈ R，与假设矛盾。
因此，R一定是反自反的。
答案完整证明了该结论。
2. 已知集合A={1, 2, 3}，集合B={2, 3, 4}，求集合A和B的笛卡尔积。
解答：集合A和B的笛卡尔积定义为{(a, b) | a∈A，b∈B}。
所以，集合A和B的笛卡尔积为{(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。
离散数学试题及答案
离散数学试题及答案一、单项选择题（每题2分，共20分）1. 在集合论中，空集的表示符号是（）。
A. {0}B. ∅C. {}D. Ø答案：B2. 如果A和B是两个集合，那么A∩B表示（）。
A. A和B的并集B. A和B的交集C. A和B的差集D. A和B的补集答案：B3. 命题逻辑中，p ∧ q的真值表中，当p和q都为假时，p ∧ q的值为（）。
A. 真B. 假C. 不确定D. 无定义答案：B4. 在图论中，如果一个图中的任意两个顶点都由一条边相连，则称这个图为（）。
A. 连通图B. 无向图C. 完全图D. 有向图答案：C5. 布尔代数中，逻辑或运算符表示为（）。
A. ∧B. ∨C. ¬D. →答案：B6. 一个关系R是从集合A到集合B的二元关系，如果对于A中的每个元素x，B中都存在唯一的元素y与之对应，则称R为（）。
A. 单射B. 满射C. 双射D. 单满射答案：C7. 在命题逻辑中，如果p是假命题，那么¬p的值为（）。
A. 真B. 假C. 不确定D. 无定义答案：A8. 一个有向图是无环的，那么它一定是（）。
A. 有向无环图B. 无向无环图C. 有向有环图D. 无向有环图答案：A9. 在集合论中，如果集合A是集合B的子集，那么A⊆B表示（）。
A. A包含于BB. A是B的真子集C. A是B的超集D. A与B相等答案：A10. 命题逻辑中，p → q的真值表中，当p为真，q为假时，p → q 的值为（）。
A. 真B. 假C. 不确定D. 无定义答案：B二、多项选择题（每题3分，共15分）1. 在集合论中，以下哪些符号表示的是集合的并集（）。
A. ∪B. ∩C. ⊆D. ⊂答案：A2. 在图论中，以下哪些说法是正确的（）。
A. 有向图可以是无环的B. 无向图可以是无环的C. 有向图一定是连通的D. 无向图一定是连通的答案：A B3. 在命题逻辑中，以下哪些符号表示的是逻辑与（）。
离散数学试题及答案
离散数学试题及答案一、单项选择题（每题2分，共20分）1. 集合A={1,2,3}，集合B={2,3,4}，则A∩B等于：A. {1}B. {2,3}C. {1,2,3}D. {2,3,4}答案：B2. 命题“若x>0，则x^2>0”的逆否命题是：A. 若x≤0，则x^2≤0B. 若x^2≤0，则x≤0C. 若x^2>0，则x>0D. 若x^2≤0，则x≤0答案：B3. 函数f: X→Y是单射的，当且仅当：A. 对于任意x1≠x2，有f(x1)=f(x2)B. 对于任意x1≠x2，有f(x1)≠f(x2)C. 对于任意y∈Y，存在唯一的x∈X，使得f(x)=yD. 对于任意y∈Y，存在x∈X，使得f(x)=y答案：B4. 有限集合A的子集个数为2^n，其中n是集合A的元素个数，则n 等于：A. 0B. 1C. 2D. 3答案：C5. 逻辑运算符“与”用符号表示为：A. ∧B. ∨C. →D. ¬答案：A6. 命题逻辑中，命题p和q的析取（逻辑或）的真值表中，当p为真，q为假时，p∨q的值为：A. 真B. 假C. 可能真，可能假D. 不确定答案：A7. 以下哪个选项表示的是等价关系：A. 自反性B. 对称性C. 传递性D. 自反性、对称性和传递性答案：D8. 在图论中，如果一个图的任意两个顶点都由一条边连接，则称该图为：A. 连通图B. 完全图C. 无向图D. 有向图答案：B9. 以下哪个选项是图的顶点的度的定义：A. 与该顶点相连的边的数量B. 与该顶点相连的顶点的数量C. 该顶点发出的边的数量D. 该顶点接收的边的数量答案：A10. 在布尔代数中，逻辑运算符“异或”用符号表示为：A. ⊕B. ∧C. ∨D. ¬答案：A二、填空题（每题2分，共20分）1. 集合{1,2,3}的补集在全集U={1,2,3,4,5}中表示为________。
答案：{4,5}2. 命题“若x>0，则x^2>0”的逆命题是“若________，则x>0”。
离散数学考试题及答案
离散数学考试题及答案一、选择题（每题5分，共20分）1. 下列哪个选项不是离散数学的研究对象？A. 图论B. 组合数学C. 微积分D. 逻辑学答案：C2. 在逻辑学中，下列哪个命题是真命题？A. 如果今天是周一，那么明天是周二。
B. 如果今天是周一，那么明天是周三。
C. 如果今天是周一，那么明天是周四。
D. 如果今天是周一，那么明天是周五。
答案：A3. 在集合论中，下列哪个符号表示集合的并集？A. ∩B. ∪C. ⊆D. ⊂答案：B4. 在图论中，下列哪个术语描述的是图中的顶点集合？A. 边B. 路径C. 子图D. 顶点答案：D二、填空题（每题5分，共20分）1. 如果一个集合A包含5个元素，那么它的子集个数是______。
答案：322. 在逻辑学中，如果命题P和命题Q都是真命题，那么复合命题“P且Q”的真值是______。
答案：真3. 在图论中，如果一个图的顶点数为n，那么它的最大边数是______。
答案：n(n-1)/24. 如果一个二叉树的深度为3，那么它最多包含______个节点。
答案：7三、简答题（每题10分，共30分）1. 请简述什么是图的连通性，并给出一个例子。
答案：图的连通性是指在图中任意两个顶点之间都存在一条路径。
例如，在一个完全图K3中，任意两个顶点之间都可以通过一条边直接连接，因此它是连通的。
2. 解释什么是逻辑蕴含，并给出一个例子。
答案：逻辑蕴含是指如果一个命题P为真，则另一个命题Q也必须为真。
例如，命题P：“如果今天是周一”，命题Q：“明天是周二”。
如果今天是周一，那么根据逻辑蕴含，明天必须是周二。
3. 请描述什么是二叉搜索树，并给出它的一个性质。
答案：二叉搜索树是一种特殊的二叉树，其中每个节点的左子树只包含小于当前节点的数，右子树只包含大于当前节点的数。
它的一个性质是中序遍历可以得到一个有序序列。
四、计算题（每题15分，共30分）1. 给定一个集合A={1, 2, 3, 4, 5}，请计算它的幂集，并列出所有元素。
网络学院《离散数学》模拟-答案
网络学院离散数学模拟试题1 考试时间120 分钟考试方式：开卷专业年级姓名学号一、选择填空题(每个空格3分,共30分)1．设A，B是集合，且φA，则_____必定成立。
D-B=A．A=B B．B⊆A C．A∩B=φD．A⊆B 2．{φ,{φ}}－φ=_____;CＡ. φ B. {φ} C. {φ,{φ}} D. {{φ}}3．设集合A={{0}}，则P(A) =_____。
DA. P(P({0}))B. P({0})∪φC. P({0})∪{{0}}D. {φ,{{0}}}4．设有集合A={1,2,3,4}，则从A到{0,1}的不同的函数有____个。
EA．0 B．1 C．4 D．12 E. 16 F. 24 G. 32 5．设G=(a)为12阶循环群，则G没有____阶子群。
EA．1 B．2 C．3 D．4 E. 5 F. 66．凡_____都满足消去律。
DA. 代数系统B. 半群C. 独异点D. 群7．从无向完全图K中至少删除____条边后，所得的图将成为平面图。
B5A．0 B．1 C．2 D．38．若无向图G是有99个结点，9个连通分量，则G中的边数必_____。
C A. ≤90 B. =90 C. ≥90 D. =100 E. ≥1009．下列句子中为命题的是_____。
AA．今天不是星期六。
B．考场内禁用手机！C．今天是周末吗？D．今天真冷呀！10． 任意两个不同极大项的析取式必为______。
AA. 永真公式B. 可满足公式C. 永假公式D. 等值公式二、求出谓词公式(,)(,,)u v F u v w G u v w ∃∃→∀的前束范式。
(10分)解：(,)(,,)u v F u v w G u v w ∃∃→∀ ⇔1111(,)(,,)u u F u v w G u v w ∃∃→∀ ⇔111(,)(,,)u v F u v w G u v w ⌝∃∃∨∀ ⇔1111(,)(,,)u y F u v w G u v w ∀∀⌝∨∀⇔1111(,)(,,)u v wF u vG u v w ∀∀∀⌝∨（）三、用形式证明的方法证明下列论证的有效性：“本班有些同学是有经验的C++程序员，任何C++程序员都知道对象的概念。
离散数学试题及答案解析
离散数学试题及答案解析一、选择题1. 在集合{1,2,3,4}中，含有3个元素的子集有多少个？A. 4B. 8C. 16D. 32答案：B解析：含有3个元素的子集可以通过组合数公式C(n, k) = n! / [k!(n-k)!]来计算，其中n为集合的元素个数，k为子集中的元素个数。
在本题中，n=4，k=3，所以C(4, 3) = 4! / [3!(4-3)!] = 4。
2. 下列哪个命题是真命题？A. 所有偶数都是整数。
B. 所有整数都是偶数。
C. 所有整数都是奇数。
D. 所有奇数都是整数。
答案：A解析：偶数是指能被2整除的整数，因此所有偶数都是整数，选项A是真命题。
选项B、C和D都是错误的，因为并非所有整数都是偶数或奇数。
二、填空题1. 逻辑运算符“非”（NOT）的真值表是：当输入为真时，输出为______；当输入为假时，输出为真。
答案：假解析：逻辑运算符“非”（NOT）是一元运算符，它将输入的真值取反。
如果输入为真，则输出为假；如果输入为假，则输出为真。
2. 命题逻辑中，合取词“与”（AND）的真值表是：当两个命题都为真时，输出为真；否则输出为______。
答案：假解析：合取词“与”（AND）是二元运算符，只有当两个命题都为真时，输出才为真；如果其中一个或两个命题为假，则输出为假。
三、简答题1. 解释什么是等价关系，并给出一个例子。
答案：等价关系是定义在集合上的一个二元关系，它满足自反性、对称性和传递性。
例如，考虑整数集合上的“同余”关系。
对于任意整数a，b，如果a和b除以同一个正整数n后余数相同，则称a和b模n同余。
这个关系是自反的（a同余a），对称的（如果a同余b，则b同余a），并且是传递的（如果a同余b且b同余c，则a同余c）。
2. 什么是图的连通性？一个图是连通的需要满足什么条件？答案：图的连通性是指在无向图中，任意两个顶点之间都存在一条路径。
一个图是连通的需要满足以下条件：图中的任意两个顶点v和w，都可以通过图中的边相互到达。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
北京语言大学网络教育学院《离散数学》模拟试卷一注意：1.试卷保密，考生不得将试卷带出考场或撕页，否则成绩作废。
请监考老师负责监督。
2.请各位考生注意考试纪律，考试作弊全部成绩以零分计算。
3.本试卷满分100分，答题时间为90分钟。
4.本试卷分为试题卷和答题卷，所有答案必须答在答题卷上，答在试题卷上不给分。
一、【单项选择题】(本大题共15小题，每小题3分，共45分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在答题卷相应题号处。
1、在由3个元素组成的集合上，可以有 ( ) 种不同的关系。
[A] 3[B] 8[C]9[D]272、设{}{}1,2,3,5,8,1,2,5,7A B A B ==-=,则（ ）。
[A] 3,8 [B]{}3 [C]{}8 [D]{}3,83、若X 是Y 的子集，则一定有（ ）。
[A]X 不属于Y [B]X ∈Y [C]X 真包含于 Y [D]X∩Y=X4、下列关系中是等价关系的是（ ）。
[A]不等关系 [B]空关系 [C]全关系 [D]偏序关系5、对于一个从集合A 到集合B 的映射，下列表述中错误的是（ ）。
[A]对A 的每个元素都要有象 [B] 对A 的每个元素都只有一个象 [C]对B 的每个元素都有原象 [D] 对B 的元素可以有不止一个原象6、设p:小李努力学习，q:小李取得好成绩，命题“除非小李努力学习，否则他不能取得好成绩”的符号化形式为（ ）。
[A]p→q [B]q→p [C]┐q→┐p [D]┐p→q7、设A={a,b,c},则A 到A 的双射共有（ ）。
[A]3个 [B]6个 [C]8个 [D]9个8、一个连通图G 具有以下何种条件时，能一笔画出：即从某结点出发，经过图中每边仅一次回到该结点（ ）。
[A] G 没有奇数度结点 [B] G 有1个奇数度结点 [C] G 有2个奇数度结点 [D] G 没有或有2个奇数度结点9、设〈G,*〉是群，且|G|>1，则下列命题不成立的是（ ）。
[A] G 中有幺元 [B] G 中么元是唯一的[C] G 中任一元素有逆元 [D] G 中除了幺元外无其他幂等元10、令p ：今天下雪了，q ：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（ ） [A] p →┐q [B] p ∨┐q [C] p ∧q [D] p ∧┐q11、设图G=<V,E>的结点集为V={v1,v2,v3},边集为E={<v1,v2>,<v1,v3>}.则G 的割（点）集是（ ）。
[A]{v1} [B]{v2} [C]{v3} [D]{v2,v3}12、下面4个推理定律中，不正确的为（ ）。
[A]A=>(A ∨B) (附加律) [B](A ∨B)∧┐A=>B (析取三段论) [C](A→B)∧A=>B (假言推理) [D](A→B)∧┐B=>A (拒取式)13、在右图中过12,v v 的初级回路有多少条（ ）[A] 1 [B] 2 [C] 3 [D] 414、若*+,,R 是环，且R 中乘法适合消去律，则R 是（ ）。
[A]无零因子环 [B]除环 [C]整环[D]域15、无向图G 中有16条边，且每个结点的度数均为2，则结点数是（ ）。
[A]8 [B]16 [C]4 [D]32二、【判断题】(本大题共8小题，每小题3分，共24分)正确的填T ，错误的填F ，填在答题卷相应题号处。
16、{}∅是空集。
（ ）17、设,S T 为任意集合，如果S —T=φ，则S=T 。
（ ）18、在命题逻辑中，任何命题公式的主合取范式都是存在的，并且是唯一的。
（ ）19、关系的复合运算满足交换律。
（ ）20、集合A 上任一运算对A 是封闭的。
（ ） 21、{}0,1,2,3,4,max,min是格。
（ ）22、强连通有向图一定是单向连通的。
（ ）23、设都是命题公式，则()P Q Q P →⌝∧⇒。
（ ）三、【解答题】（本大题共3小题，24、25每小题10分，26小题11分，共31分）请将答案填写在答题卷相应题号处。
24、设集合A ＝{a , b , c }，B ={b , d , e }，求 （1）B ⋂A ； （2）A ⋃B ； （3）A －B ； （4）B ⊕A ． 25、设非空集合A ，验证(A A P ,~,,,),(∅⋂⋃)是布尔代数26、如果他是计算机系本科生或者是计算机系研究生，那么他一定学过DELPHI 语言而且学过C++语言。
只要他学过DELPHI 语言或者C++语言，那么他就会编程序。
因此如果他是计算机系本科生，那么他就会编程序。
请用命题逻辑推理方法，证明该推理的有效结论。
《离散数学》模拟试卷一答案一、【单项选择题】(本大题共15小题，每小题3分，共45分)题号 1 2 3 4 5 6 7 8 9 10 答案 B D D C C C B A B D 题号11 12 13 14 15答案 A D C B B二、【判断题】(本大题共8小题，每小题3分，共24分)题号16 17 18 19 20 21 22 23 答案 F F T F T T T F三、【解答题】（本大题共3小题，24、25每小题10分，26小题11分，共31分）24、设集合A＝{a, b, c}，B={b, d, e}，求（1）B⋂A；（2）A⋃B；（3）A－B；（4）B⊕A．标准答案：（1）B⋂A={a, b, c}⋂{b, d, e}={ b }（2）A⋃B={a, b, c}⋃{b, d, e}={a, b, c, d, e }（3）A－B={a, b, c}－{b, d, e}={a, c}（4）B⊕A= A⋃B－B⋂A={a, b, c, d, e }－{ b }={a, c, d, e }复习范围或考核目标：考察集合的基本运算，包括交集，并集,见课件第一章第二节,集合的运算。
25、设非空集合A ，验证(A A P ,~,,,),(∅⋂⋃)是布尔代数标准答案：证明 因为集合A 非空，故P (A )至少有两个元素，显然⋃，⋂是P (A )上的二元运算. 由定理10 ，任给B ,C ,D ∈P (A ), H 1 B ⋃D =D ⋃C C ⋂D =D ⋂CH 2 B ⋂(C ⋃D )=(B ⋂C )⋃(B ⋂D ) B ⋃(C ⋂D )=(B ⋃C )⋂(B ⋃D )H 3 P (A )存在∅和A ，∀B ∈P (A ), 有B ⋃∅＝B ， B ⋂A ＝B H 4，∀B ∈P (A ), B ⊆A ，存在A ⋂~B ，有B ⋃A ⋂~B )= A B ⋂(A ⋂～B )=∅所以(A A P ,~,,,),(∅⋂⋃)是布尔代数.复习范围或考核目标：考察布尔代数的基本概念，集合的运算，见课件代数系统中布尔代数小节。
26、如果他是计算机系本科生或者是计算机系研究生，那么他一定学过DELPHI 语言而且学过C++语言。
只要他学过DELPHI 语言或者C++语言，那么他就会编程序。
因此如果他是计算机系本科生，那么他就会编程序。
请用命题逻辑推理方法，证明该推理的有效结论。
标准答案：令p ：他是计算机系本科生q ：他是计算机系研究生 r ：他学过DELPHI 语言 s:他学过C++语言 t:他会编程序前提：(p ∨q)→(r ∧s),(r ∨s)→t 结论：p →t证①p P(附加前提) ②p ∨q T ①I③(p∨q)→(r∧s) P(前提引入)④r∧s T②③I⑤r T④I⑥r∨s T⑤I⑦(r∨s)→t P(前提引入)⑧t T⑤⑥I复习范围或考核目标：考察数理逻辑的应用,详见课件数理逻辑中命题逻辑的命题演算的推理理论。
北京语言大学网络教育学院《离散数学》模拟试卷二注意：1.试卷保密，考生不得将试卷带出考场或撕页，否则成绩作废。
请监考老师负责监督。
2.请各位考生注意考试纪律，考试作弊全部成绩以零分计算。
3.本试卷满分100分，答题时间为90分钟。
4.本试卷分为试题卷和答题卷，所有答案必须答在答题卷上，答在试题卷上不给分。
一、【单项选择题】(本大题共15小题，每小题3分，共45分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在答题卷相应题号处。
1、若集合A＝{2，a，{ a }，4}，则下列表述正确的是（）。
[A] [B][C] [D]2、若集合A={a，b，{1，2 }}，B={1，2}，则（）。
[A] [B][C] [D]3、下列式子中正确的有（ ）。
[A][B][C][D]4.设{,,},{,,,}A a b c B a b c d ==，则下列正确的是（ ）。
[A]A B ⊆ [B]A B ⊇ [C] A B ∈ [D] 以上都不对 5、设{0,1},{2,3}A B ==,则A B ⨯=（ ）。
[A] {0,2,0,3,1,2,1,3}<><><><> [B] {0,2,1,2,1,3}<><><> [C] {0,3,1,2,1,3}<><><> [D] {0,2,0,3,1,2}<><><> 6、设{0,1},{2,3}A B ==,则B A ⨯=（ ）。
[A] {2,0,3,0,1,2,1,3}<><><><> [B] {2,0,3,0,2,1,3,1}<><><><> [C] {0,3,1,2,1,3}<><><> [D] {0,2,0,3,1,2}<><><> 7、下列式子正确的是（ ）。
[A]p q q p →⇔→ [B]p q p q →⇔⌝∨ [C]p q q p →⇔⌝∨ [D]p q q p →⇔⌝∨⌝8、设P,Q,R 是命题公式,则P →R ，Q →R ，P ∨┐Q ⇒（ ）。
[A] P [B] Q [C] R [D] ┐R9、11:,()3if Z R f i →=，则1f 是（ ）。
[A] 单射 [B] 满射 [C] 双射 [D] 以上说法都不对 10、 124:{0,1,2,3},()()f Z f i res i →=，则1f 是（ ）。
[A] 单射 [B] 满射 [C] 双射 [D] 以上说法都不对 11、 若复合映射τσ是满射，则（ ）。
[A] τ是满射 [B] σ是满射[C] τ是单射 [D] σ是单射12.、设R为实数集，映射，则σ是（）。