离散数学期末复习

离散数学期末复习

一、选择题

1、下列各选项错误的是

A、???

B、???

C、?∈{?}

D、??{?}

2、命题公式(p∧q)→p是

A、矛盾式

B、重言式

C、可满足式

D、等值式

3、如果是R是A上的偏序关系，R-1是R的逆关系，则R∪R-1是

A、等价关系

B、偏序关系

C、全序关系

D、都不是

4、下列句子中那个是假命题？

A、是无理数.

B、2 + 5＝8.

C、x+ 5＞3

D、请不要讲话！

5、下列各选项错误的是？

A、???

B、??{?}

C、?∈{?}

D、{?}??

6、命题公式p→（p∨q∨r）是？

A、重言式

B、矛盾式

C、可满足式

D、等值式

7、函数f : N→N, f(x)=x+5,函数f是

A、单射

B、满射

C、双射

D、都不是

8、设D=,则

V={a,b,c,d,e,f},R={ ,,,,},有向图D为

A、强连通

B、单向连通

C、弱连通

D、不连通的

9、关系R1和R2具有反自反性，下面运算后，不能保持自反性的是

A、R1?R2

B、R1-1

C、R1?R2

D、R1-R2

10、连通平面图G有4个结点，3个面，则G有（）条边。

A、7

B、6

C、5

D、4

二、填空题

1、将下面命题符号化。设p:天冷，q:小王穿羽绒服。只要天冷，小王就穿羽绒服.符号化为

2、将下面命题符号化，设p:天冷，q:小王穿羽绒服。因为天冷，所以小王穿羽绒服.符号化为

3、将下面命题符号化，设p:天冷，q:小王穿羽绒服。若小王不穿羽绒服，则天不冷.符号化为

4、将下面命题符号化，设p:天冷，q:小王穿羽绒服。只有天冷，小王才穿羽绒服.符号化为

5、将下面命题符号化，设p:天冷，q:小王穿羽绒服。除非天冷，小王才穿羽绒服.符号化为

6、将下面命题符号化，设p:天冷，q:小王穿羽绒服。除非小王穿羽绒服，否则天不冷.符号化为

7、将下面命题符号化，设p:天冷，q:小王穿羽绒服。小王穿羽绒服仅当天冷的时候.符号化为

8、将下面命题符号化，设p:天冷，q:小王穿羽绒服。如果天不冷，则小王不穿羽绒服.符号化为

9、设p:王蓉努力学习，q：王蓉取得好成绩。则

（1）命题“只要王蓉努力学习，她就会取得好成绩。”符号化

为

。

（2）命题“王蓉取得好成绩，如果她努力学习。”符号化

为

。

（3）命题“只有王蓉努力学习，她才能取得好成绩。”符号化

为

。

（4）命题“除非王蓉努力学习，否则她不能取得好成绩。”符号化

为

10、公式?xF(x)→?xF(x)的类型为

11、公式?xF(x)→(?x?yG(x,y)→?xF(x))的类型

为

12、公式?xF(x)→(?xF(x)∨?yG(y))的类型为

13、公式 (F(x,y)→R(x,y))∧R(x,y)的类型

14、公式?x?yF(x,y)→?x?yF(x,y)的类型为

15、公式?xF(x,y)的类型

16、令F(x)：x是人，G(x)：x犯错误.则命题“没有不犯错误的人”符号化为

17、令F(x)：x是人，G(x)：爱看电影.则命题“不是所有的人都爱看电影”符号化为

18、公式??x(M(x)∧F(x))的前束式为：

19、公式?xF(x)∧??xG(x)的前束式为：

20、公式?xF(x)∨??xG(x)的前束式为

21、公式?xF(x)→?y(G(x,y)∧?H(y))的前束式为

22、公式?x(F(x,y)→?y(G(x,y)∧H(x,z)))的前束式为

23、集合A=?,B={1,{a,b}},C={?,{?}},D={2,2,2,3};则幂集

P(A)=;P(B)=;P(C)=;P(D)=;

24、设A={1,2,3},B={a,b,c}

则A?B=；

B?A=。

25、设集合A={?},则P(A)?A=。

26、设|A|=n, 则|A×A|=,A×A的子集

有个.集合A上有个不同的二元关系.

27、设A={1,2},则E A=；I A=。

28、集合A={2，3，4，5，6，10，12，24}，R是A上的整除关系，则R的极大元是，极小元是。

29、设A={1，2，3}上的关系R={<1，1>，<1，2>，<1，3>，<3，3>}，则关系R具备性质。

30、设集合A={1,2,3},关系R={<1,2>, < 2,1>, <2,3>，<3,3>},则自反闭包r(R)=,对称闭包s(R)=。31、已知图G有10条边, 4个3度顶点,其余顶点的度数均小于等于2,问G至少有个顶点。

32、n阶无向完全图K n，边数m=。

33、n阶有向完全图K n，边数m=。

34、设无向图G有10条边, 3度与4度顶点各2个,其余顶点的度数均小于3,则G中至少有个顶点，在最少顶点的情况下,图G的度数列，

??(G)=,δ?(G)=

.

35、设无向图中有6条边, 3度与5度顶点各一个,其余的都

是2度顶点, 则该图有个顶点。

36、已知n阶连通平面图G有r个面，则G的边数

m=。

37、设A={1，2，3}上的关系R={<1，2>，<2，3>，<3，1> }，则R?R=。

38、设F(x)：x是兔子，M(x)：y是乌龟，H(x,y): x比y跑得快,则命题“兔子比乌龟跑得快”符号

为

三、计算题

1、给出公式A= (q→p)∧q→p的真值表。

2、给出公式A= (q→p)∧q→p的真值表。

3、给出公式C= (p∨q)→?r的真值表

4、用等值演算法判断公式q∧?(p→q)的类型

5、求公式A=(p→?q)∨?r的析取式与合取式。

6、求公式B=(p→?q)→r的析取式与合取式。

7、求公式A=(p→?q)→r的主析取式与主合取式.

8、在一阶逻辑中将下面命题符号化

(1)人都爱美;

(2)有人用左手写字分别取(a)D为人类集合,(b)D为全总个体域.

9、在一阶逻辑中将下面命题符号化(1)正数都大于负数

10、在一阶逻辑中将下面命题符号化(1)有的无理数大于有的有理数

11、试画出4阶3条边的所有非同构的无向简单图

12、画出所有K4的所有非同构的生成子图。

13、给定下面的图(前两个为无向图,后两个为有向图)的集合表示,画出它们的图形表示G1=?V1,E1?,其

中,V1={v1,v2,v3,v4,v5},E1={(v1,v2),(v2,v3),(v3,v4),

(v3,v3),(v4,v5)};

G2=?V2,E2?,其中V2=V1,E2=

{(v1,v2),(v2,v3),(v3,v4),(v4,v5),(v5,v1)};

D1=?V3,E3?,其

中V3=V1,E3={?v1,v2?,?v2,v3?,?v3,v2?,

?v4,v5?,?v5,v1?};D2=?V4,E4?,其

中V4=V1,E4={?v1,v2?,?v2,v5?,?v5,v2?,

?v3,v4?,?v4,v3?}.

14、先将图中各图的顶点标定顺序,然后写出各图的集合表示.

15、写出图中各图的度数列,对有向图还要写出出度列和入度列.

16、画一个简单无向图，使它是欧拉图，但不是哈密顿图。

17、已知集合A={a,b,c,d,e,f}和关系

R={,,,,,,,}∪

I A，请画出偏序集的哈斯图。

18、设A={a, b, c, d}, R={,,,,},求R的关系矩阵M R和关系图G R。

19、有向图D如图所示，写出D的邻接矩阵和可达矩阵

20、设A=Z+×Z+，在A上定义二元关系R如下：<,>R 当且仅当xv=yu，证明R是一个等价关系。

21、求公式（P∨Q）→R的主析取式。

22、求公式?x(F(x)∧?yG(x,y,z))→?xH(x,y,z)的前束式。

23、已知偏序集的哈斯图如下图所示, 试求出集合A和关系R的表达式.

24、设A={1,2,3,4},定义A上的关

R={<1,1>,<1,2>,<2,3>,<2,4>,<4,2>}。求R的关系矩阵M R和关系图G R？

华南农业大学 离散数学 期末考试2013试卷及答案

华南农业大学期末考试试卷（A 卷） 2013-2014学年第 一 学期 考试科目： 离散结构 考试类型：（闭卷）考试 考试时间： 120 分钟 学号 姓名 年级专业 ①本试题分为试卷与答卷2部分。试卷有四大题，共6页。 ②所有解答必须写在答卷上，写在试卷上不得分。 一、选择题（本大题共 25 小题，每小题 2 分，共 50 分） 1、下面语句是简单命题的为_____。 A 、3不是偶数 B 、李平既聪明又用功 C 、李平学过英语或日语 D 、李平和张三是同学 2、设 p:他主修计算机科学, q:他是新生，r:他可以在宿舍使用电脑，下列命题“除非他不是新生，否则只有他主修计算机科学才可以在宿舍使用电脑。”可以符号化为______。 A 、r q p →?∧? B 、r q p ?→∧? C 、r q p →?∧ D 、r q p ∧→ 3、下列谓词公式不是命题公式P →Q 的代换实例的是______。 A 、)()(y G x F → B 、),(),(y x yG y x xF ?→? C 、))()((x G x F x →? D 、)()(x G x xF →? 4、设个体域为整数集，下列公式中其值为 1的是_____。 A 、)0(=+??y x y x B 、)0(=+??y x x y C 、)0(=+??y x y x D 、)0(=+???y x y x

2 5、下列哪个表达式错误_____。 A 、 B x xA B x A x ∧??∧?)())(( B 、B x xA B x A x ∨??∨?)())(( C 、B x xA B x A x →??→?)())(( D 、)())((x xA B x A B x ?→?→? 6、下述结论错误的是____。 A 、存在这样的关系，它可以既满足对称性，又满足反对称性 B 、存在这样的关系，它可以既不满足对称性，又不满足反对称性 C 、存在这样的关系，它可以既满足自反性，又满足反自反性 D 、存在这样的关系，它可以既不满足自反性，又不满足反自反性 7、集合A 上的关系R 为一个等价关系，当且仅当R 具有_____。 A 、自反性、对称性和传递性 B 、自反性、反对称性和传递性 C 、反自反性、对称性和传递性 D 、反自反性、反对称性和传递性 8、下列说法不正确的是：______。 A 、R 是自反的，则2R 一定是自反的 B 、R 是反自反的，则2R 一定是反自反的 C 、R 是对称的，则2R 一定是对称的 D 、R 是传递的，则2R 一定是传递 9、设R 和S 定义在P 上，P 是所有人的集合，=R {x P y x y x ∧∈><,|,是y 的父亲}，=S {x P y x y x ∧∈><,|,是y 的母亲}，则关系{y P y x y x ∧∈><,|,是的x 外祖父}的表达式是：______。 A 、11--R R B 、11--S R C 、11--S S D 、11--R S 10、右图描述的偏序集中，子集},,{f e b 的上界为_____。 A 、c b , B 、b a , C 、b D 、c b a ,, 11、以下整数序列，能成为一个简单图的顶点度数序列的是_____。 A 、1，2，2，3，4，5

离散数学期末考试试题(有几套带答案)

离散数学试题(A卷及答案） 一、证明题（10分） 1)(?P∧(?Q∧R))∨(Q∧R)∨(P∧R)?R 证明: 左端?(?P∧?Q∧R)∨((Q∨P)∧R)?((?P∧?Q)∧R))∨((Q∨P)∧R) ?(?(P∨Q)∧R)∨((Q∨P)∧R)?(?(P∨Q)∨(Q∨P))∧R ?(?(P∨Q)∨(P∨Q))∧R?T∧R(置换)?R 2)?x(A(x)→B(x))??xA(x)→?xB(x) 证明：?x(A(x)→B(x))??x(?A(x)∨B(x))??x?A(x)∨?xB(x)???xA(x)∨?xB(x)??xA(x)→?xB(x) 二、求命题公式(P∨(Q∧R))→(P∧Q∧R)的主析取范式和主合取范式（10分） 证明：(P∨(Q∧R))→(P∧Q∧R)??(P∨(Q∧R))∨(P∧Q∧R)) ?（?P∧(?Q∨?R)）∨(P∧Q∧R) ?(?P∧?Q)∨(?P∧?R))∨(P∧Q∧R) ?(?P∧?Q∧R)∨(?P∧?Q∧?R)∨(?P∧Q∧?R))∨(?P∧?Q∧?R))∨(P∧Q∧R) ?m0∨m1∨m2∨m7 ?M3∨M4∨M5∨M6 三、推理证明题（10分） 1）C∨D, (C∨D)→?E, ?E→(A ∧?B), (A∧?B)→(R∨S)?R∨S 证明：(1) (C∨D)→?E (2) ?E→(A∧?B) (3) (C∨D)→(A∧?B) (4) (A∧?B)→(R∨S) (5) (C∨D)→(R∨S) (6) C∨D

(7) R∨S 2) ?x(P(x)→Q(y)∧R(x))，?xP(x)?Q(y)∧?x(P(x)∧R(x)) 证明（1）?xP(x) (2)P(a) (3)?x(P(x)→Q(y)∧R(x)) (4)P(a)→Q(y)∧R(a) (5)Q(y)∧R(a) (6)Q(y) (7)R(a) (8)P(a) (9)P(a)∧R(a) (10)?x(P(x)∧R(x)) (11)Q(y)∧?x(P(x)∧R(x)) 四、设m是一个取定的正整数，证明：在任取m＋1个整数中，至少有两个整数，它们的差是m的整数倍 证明设 1 a，2a，…，1+m a为任取的m＋1个整数，用m去除它们所得余数 只能是0，1，…，m－1，由抽屉原理可知， 1 a，2a，…，1+m a这m＋1个整 数中至少存在两个数 s a和t a，它们被m除所得余数相同，因此s a和t a的差是m的整数倍。 五、已知A、B、C是三个集合，证明A-(B∪C)=(A-B)∩(A-C) （15分）证明∵x∈ A-（B∪C）? x∈ A∧x?（B∪C）? x∈ A∧（x?B∧x?C）?（x∈ A∧x?B）∧（x∈ A∧x?C）? x∈（A-B）∧x∈（A-C）? x∈（A-B）∩（A-C）∴A-（B∪C）=（A-B）∩（A-C） 六、已知R、S是N上的关系，其定义如下：R={| x,y∈N∧y=x2}，S={| x,y∈N∧y=x+1}。求R-1、R*S、S*R、R{1,2}、S[{1,2}]（10分） 解：R-1={| x,y∈N∧y=x2}，R*S={| x,y∈N∧y=x2+1}，S*R={| x,y∈N∧y=（x+1）2}， 七、若f:A→B和g:B→C是双射，则（gf）-1=f-1g-1（10分）。 证明：因为f、g是双射，所以gf：A→C是双射，所以gf有逆函数

中国石油大学大学《离散数学》期末复习题及答案

《离散数学》期末复习题 一、填空题（每空2分，共20分） 1、集合A上的偏序关系的三个性质是、 和。 2、一个集合的幂集是指。 3、集合A={b,c}，B={a,b,c,d,e}，则A?B= 。 4、集合A={1,2,3,4}，B={1,3,5,7,9}，则A?B= 。 5、若A是2元集合, 则2A有个元素。 6、集合A={1,2,3｝，A上的二元运算定义为：a* b = a和b两者的最大值，则 2*3= 。 7、设A={a, b,c,d }, 则∣A∣= 。 8、对实数的普通加法和乘法，是加法的幂等元， 是乘法的幂等元。 9、设a,b,c是阿贝尔群的元素，则-(a+b+c)= 。 10、一个图的哈密尔顿路是。 11、不能再分解的命题称为，至少包含一个联结词的命题称 为。 12、命题是。 13、如果p表示王强是一名大学生，则┐p表示。 14、与一个个体相关联的谓词叫做。 15、量词分两种：和。 16、设A、B为集合，如果集合A的元素都是集合B的元素，则称A是B 的。 17、集合上的三种特殊元是、 及。 18、设A={a, b}，则ρ(A) 的四个元素分别 是：，，，。

19、代数系统是指由及其上的或 组成的系统。 20、设是代数系统，其中是*1,*2二元运算符，如果*1,*2都满 足、，并且*1和*2满足，则称是格。 21、集合A={a,b,c,d}，B={b }，则A \ B= 。 22、设A={1, 2}, 则∣A∣= 。 23、在有向图中，结点v的出度deg+(v)表示，入度deg-(v)表示 以。 24、一个图的欧拉回路是。 25、不含回路的连通图是。 26、不与任何结点相邻接的结点称为。 27、推理理论中的四个推理规则 是、、、。 二、判断题（每题2分，共20分） 1、空集是唯一的。 2、对任意的集合A，A包含A。 3、恒等关系不是对称的，也不是反对称的。 4、集合{1,2,3,3}和{1,2,2,3}是同一集合。 5、图G中，与顶点v关联的边数称为点v的度数，记作deg(v)。 6、在实数集上，普通加法和普通乘法不是可结合运算。 7、对于任何一命题公式，都存在与其等价的析取范式和合取范式。 8、设（A,*）是代数系统，a∈A，如果a*a＝a，则称a为（A，*）的等幂元。 9、设f：A→B，g：B→C。若f，g都是双射，则gf不是双射。 10、无向图的邻接矩阵是对称阵。 11、一个集合不可以是另一个集合的元素。 12、映射也可以称为函数，是一种特殊的二元关系。 13、群中每个元素的逆元都不是惟一的。

计算机《离散数学》期中试卷答案

系 专业 年级 班级 学号 姓名 ……………………装……………………订……………………线…………………… 泉州师院2009-2010学年度第一学期 2008级计算机《离散数学》期中试卷 题 序 一 二 三 四 五 总分 成 绩 签 名 一、单项选择题:（20%，每空2分） 1．设A={a,{a}}，下列命题错误的是（ B ）。 A ．{a}P(A) B ．{a}P(A) C ．{{a}}P(A) D ．{{a}}P(A) 2、假定全集E ＝{1,2,3,4,5,6,7,8,9,10},A={3,4,5}，B ＝{2,3,4,7,8,9}，则A ∪B 的位串是（ D ）。 A ．01 B ．0011100000 C ．00 D ．00 3、下列文氏图阴影部分所表示的集合是( A )。 A. (A-(B ∪C))∪((B ∪C)-A) B. (A-(B ∩C))∪((B ∩C)-A) C. (A-(B ∩C))∪((B ∪C)-A) D. (A-(B ∪C))∪((B ∩C)-A) 4．设p ：你主修计算机科学，q ：你是新生， r ：你可以从校园网访问因特网。只有你主修计算机科学或不是新生，你才可以从校园网访问因特网。可符号化为( C )。 A ．r →p ∨q B ．r →p ∧q C ．r →p ∨q D ．r →p ∨q 5．下列是两个命题变元p ，q 的极小项是（ A ） A ．┐p ∧q B ．┐p ∨q C ．p ∧┐p ∧q D ．┐p ∨p ∨q 6、下列等值式不正确的是（ C ） A ．┐(x)A(x)┐A B ．(x)(B →A(x))B →(x)A(x) C ．(x)(A(x)∧B(x))(x)A(x)∧(x)B(x) D ．(x)(y)(A(x)→B(y))( x)A(x)→(y)B(y) 7、若s={1,2,3,4}，S 上关系R 的关系图为： 则R 具有（ B ）性质。 A 、自反性 B 、自反性、对称性 C 、反自反性、反对称性 D 、自反性、对称性、传递性 8．设A={a,b,c,d}，A 上的等价关系R={,,,}∪I A ，则对应于R 的A 的划分是（ D ） A ．{{a},{b,c},{d}} B ．{{a,b},{c},{d}} C ．{{a},{b},{c},{d}} D ．{{a,b},{c,d}} 9、设A={1，2，3}，则A 上的二元关系有（ C ）个。 A. 2 3 B. 3 2 C. D. 10．下列函数是双射的为（ A ），其中：I —整数集，E —偶数集， N —自然数集，R —实数集。 A. f : IE , f (x) = 2x B. f : NNN, f (n) = C. f : RI , f (x) = [x] D. f :IN, f (x) = | x | 二．填空题（20%，每题2分） 1．集合的表示法有 列举法、描述法 。 。则设、 } {0 A 1 ==??????=∞ =I i i i A i i ,...,,,,,3211023．令p ：今天下雪了，q ：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为 p →q 。 4．复合命题(p →q)∨(p → q)是___ 永真____式（永真式或永假式或可满足 式）。 5．令谓词P(x,y)表示”x 爱y ”,个体域是全世界所有人的集合，用P(x,y)、量词 得 分 评卷人 得 分 评卷人

离散数学实验报告

离散数学实验报告（实验ABC） 专业班级 学生姓名 学生学号 指导老师 完成时间

目录 第一章实验概述..................................... 错误!未定义书签。 实验目的....................................... 错误!未定义书签。 实验内容....................................... 错误!未定义书签。 实验环境....................................... 错误!未定义书签。第二章实验原理和实现过程........................... 错误!未定义书签。 实验原理....................................... 错误!未定义书签。 建立图的邻接矩阵，判断图是否连通 ............ 错误!未定义书签。 计算任意两个结点间的距离 ................... 错误!未定义书签。 对不连通的图输出其各个连通支 ................ 错误!未定义书签。 实验过程（算法描述）........................... 错误!未定义书签。 程序整体思路 ............................... 错误!未定义书签。 具体算法流程 ................................ 错误!未定义书签。第三章实验数据及结果分析........................... 错误!未定义书签。 建立图的邻接矩阵并判断图是否连通的功能测试及结果分析错误!未定义书签。 输入无向图的边 .............................. 错误!未定义书签。 建立图的连接矩阵 ............................ 错误!未定义书签。 其他功能的功能测试和结果分析................... 错误!未定义书签。 计算节点间的距离 ............................ 错误!未定义书签。 判断图的连通性 .............................. 错误!未定义书签。 输出图的连通支 .............................. 错误!未定义书签。 退出系统 .................................... 错误!未定义书签。第四章实验收获和心得体会........................... 错误!未定义书签。

大学离散数学期末重点知识点总结(考试专用)

1.常用公式 p ∧(P →Q)=>Q 假言推论 ┐Q ∧(P →Q)=>┐P 拒取式 ┐p ∧(P ∨Q)=>Q 析取三段式 (P →Q) ∧(Q →R)=>P →R 条件三段式 (PQ) ∧(QR)=>PR 双条件三段式 (P →Q)∧(R →S)∧(P ∧R)=>Q →S 合取构造二难 (P →Q)∧(R →S)∧(P ∨R)=>Q ∨S 析取构造二难 (?x)((Ax)∨(Bx)) <=>( ?x)(Ax)∨(?x)(Bx) (?x)((Ax)∧(Bx)) <=>(?x)(Ax)∧(?x)(Bx) —┐(?x)(Ax) <=>(?x)┐(Ax) —┐(?x)(Ax) <=>(?x)┐(Ax) (?x)(A ∨(Bx)) <=>A ∨(?x)(Bx) (?x)(A ∧(Bx)) <=>A ∧(?x)(Bx) (?x)((Ax)→(Bx)) <=>(?x)(Ax)→(?x)(Bx) (?x)(Ax) →B <=>(?x) ((Ax)→B) (?x)(Ax) →B <=>(?x) ((Ax)→B) A →(?x)(Bx) <=>(?x) (A →(Bx)) A →(?x)(Bx) <=>(?x) (A →(Bx)) (?x)(Ax)∨(?x)(Bx) =>(?x)((Ax)∨(Bx)) (?x)((Ax)∧(Bx)) =>(?x)(Ax)∧(?x)(Bx) (?x)(Ax)→(?x)(Bx) =>(?x)((Ax)→(Bx)) 2.命题逻辑 1.→，前键为真，后键为假才为假；<—>，相同为真，不同为假； 2.主析取范式：极小项(m)之和；主合取范式：极大项(M)之积； 3.求极小项时，命题变元的肯定为1，否定为0，求极大项时相反； 4.求极大极小项时，每个变元或变元的否定只能出现一次，求极小项时变元不够合取真，求极大项时变元不够析取假； 5.求范式时，为保证编码不错，命题变元最好按P ,Q,R 的顺序依次写； 6.真值表中值为1的项为极小项，值为0的项为极大项； 7.n 个变元共有n 2个极小项或极大项，这n 2为(0~n 2-1)刚好为化简完后的主析取加主合取； 8.永真式没有主合取范式，永假式没有主析取范式； 9.推证蕴含式的方法(=>)：真值表法；分析法(假定前键为真推出后键为真，假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法：P 规则，T 规则 ①真值表法；②直接证法；③归谬法；④附加前提法； 3.谓词逻辑 1.一元谓词：谓词只有一个个体，一元谓词描述命题的性质； 多元谓词：谓词有n 个个体，多元谓词描述个体之间的关系； 2.全称量词用蕴含→，存在量词用合取^; 3.既有存在又有全称量词时，先消存在量词，再消全称量词； 4.集合 1.N ，表示自然数集，1,2,3……，不包括0； 2.基：集合A 中不同元素的个数，|A|； 3.幂集：给定集合A ，以集合A 的所有子集为元素组成的集合，P(A)； 4.若集合A 有n 个元素，幂集P(A)有n 2个元素，|P(A)|=||2A =n 2； 5.集合的分划：(等价关系) ①每一个分划都是由集合A 的几个子集构成的集合； ②这几个子集相交为空，相并为全(A)； 6.集合的分划与覆盖的比较： 分划：每个元素均应出现且仅出现一次在子集中； 覆盖：只要求每个元素都出现，没有要求只出现一次； 5.关系 1.若集合A 有m 个元素，集合B 有n 个元素，则笛卡尔A ×B 的基数为mn ，A 到B 上可以定义mn 2种不同的关系； 2.若集合A 有n 个元素，则|A ×A|=2n ，A 上有22n 个不同的关系； 3.全关系的性质：自反性，对称性，传递性； 空关系的性质：反自反性，反对称性，传递性； 全封闭环的性质：自反性，对称性，反对称性，传递性； 4.前域(domR)：所有元素x 组成的集合； 后域(ranR)：所有元素y 组成的集合； 5.自反闭包：r(R)=RU Ix ; 对称闭包：s(R)=RU 1-R ; 传递闭包：t(R)=RU 2R U 3R U …… 6.等价关系：集合A 上的二元关系R 满足自反性，对称性和传递性，则R 称为等价关系； 7.偏序关系：集合A 上的关系R 满足自反性，反对称性和传递性，则称R 是A 上的一个偏序关系； 8.covA={|x,y 属于A ，y 盖住x}； 9.极小元：集合A 中没有比它更小的元素(若存在可能不唯一)； 极大元：集合A 中没有比它更大的元素(若存在可能不唯一)； 最小元：比集合A 中任何其他元素都小(若存在就一定唯一)； 最大元：比集合A 中任何其他元素都大(若存在就一定唯一)； 10.前提：B 是A 的子集 上界：A 中的某个元素比B 中任意元素都大，称这个元素是B 的上界(若存在，可能不唯一)； 下界：A 中的某个元素比B 中任意元素都小，称这个元素是B 的下界(若存在，可能不唯一)； 上确界：最小的上界(若存在就一定唯一)； 下确界：最大的下界(若存在就一定唯一)； 6.函数 1.若|X|=m,|Y|=n,则从X 到Y 有mn 2种不同的关系，有m n 种不同的函数； 2.在一个有n 个元素的集合上，可以有2n2种不同的关系，有nn 种不同的函数，有n!种不同的双射； 3.若|X|=m,|Y|=n ，且m<=n ，则从X 到Y 有A m n 种不同的单射； 4.单射：f:X-Y ，对任意1x ,2x 属于X,且1x ≠2x ，若f(1x )≠f(2x )； 满射：f:X-Y ，对值域中任意一个元素y 在前域中都有一个或多个元素对应； 双射：f:X-Y ，若f 既是单射又是满射，则f 是双射； 5.复合函数：f og=g(f(x)); 5.设函数f:A-B ，g:B-C ，那么 ①如果f,g 都是单射，则f og 也是单射； ②如果f,g 都是满射，则f og 也是满射； ③如果f,g 都是双射，则f og 也是双射； ④如果f og 是双射，则f 是单射，g 是满射； 7.代数系统 1.二元运算：集合A 上的二元运算就是2A 到A 的映射； 2. 集合A 上可定义的二元运算个数就是从A ×A 到A 上的映射的个数，即从从A ×A 到A 上函数的个数，若|A|=2,则集合A 上的二元运算的个数为2*22=42=16种； 3. 判断二元运算的性质方法： ①封闭性：运算表内只有所给元素； ②交换律：主对角线两边元素对称相等； ③幂等律：主对角线上每个元素与所在行列表头元素相同； ④有幺元：元素所对应的行和列的元素依次与运算表的行和列相同； ⑤有零元：元素所对应的行和列的元素都与该元素相同； 4.同态映射：,,满足f(a*b)=f(a)^f(b),则f 为由到的同态映射；若f 是双射，则称为同构； 8.群 广群的性质：封闭性； 半群的性质：封闭性，结合律； 含幺半群(独异点)：封闭性，结合律，有幺元； 群的性质：封闭性，结合律，有幺元，有逆元； 2.群没有零元； 3.阿贝尔群(交换群)：封闭性，结合律，有幺元，有逆元，交换律； 4.循环群中幺元不能是生成元； 5.任何一个循环群必定是阿贝尔群； 10.格与布尔代数 1.格：偏序集合A 中任意两个元素都有上、下确界； 2.格的基本性质： 1) 自反性a ≤a 对偶: a ≥a 2) 反对称性a ≤b ^ b ≥a => a=b 对偶:a ≥b ^ b ≤a => a=b 3) 传递性a ≤b ^ b ≤c => a ≤c 对偶:a ≥b ^ b ≥c => a ≥c 4) 最大下界描述之一a^b ≤a 对偶 avb ≥a A^b ≤b 对偶 avb ≥b 5）最大下界描述之二c ≤a,c ≤b => c ≤a^b 对偶c ≥a,c ≥b => c ≥avb 6) 结合律a^(b^c)=(a^b)^c 对偶 av(bvc)=(avb)vc 7) 等幂律a^a=a 对偶 ava=a 8) 吸收律a^(avb)=a 对偶 av(a^b)=a 9) a ≤b <=> a^b=a avb=b 10) a ≤c,b ≤d => a^b ≤c^d avb ≤cvd 11) 保序性b ≤c => a^b ≤a^c avb ≤avc 12） 分配不等式av(b^c)≤(avb)^(avc) 对偶 a^(bvc)≥(a^b)v(a^c) 13）模不等式a ≤c <=> av(b^c)≤(avb)^c 3.分配格：满足a^(bvc)=(a^b)v(a^c)和av(b^c)=(avb)^(avc)； 4.分配格的充要条件：该格没有任何子格与钻石格或五环格同构； 5.链格一定是分配格，分配格必定是模格； 6.全上界：集合A 中的某个元素a 大于等于该集合中的任何元素，则称a 为格的全上界，记为1；(若存在则唯一) 全下界：集合A 中的某个元素b 小于等于该集合中的任何元素，则称b 为格的全下界，记为0；(若存在则唯一) 7.有界格：有全上界和全下界的格称为有界格，即有0和1的格； 8.补元：在有界格内，如果a^b=0,avb=1，则a 和b 互为补元； 9.有补格：在有界格内，每个元素都至少有一个补元； 10.有补分配格(布尔格)：既是有补格，又是分配格； 布尔代数：一个有补分配格称为布尔代数； 11.图论 1.邻接：两点之间有边连接，则点与点邻接； 2.关联：两点之间有边连接，则这两点与边关联； 3.平凡图：只有一个孤立点构成的图； 4.简单图：不含平行边和环的图； 5.无向完全图：n 个节点任意两个节点之间都有边相连的简单无向图； 有向完全图:n 个节点任意两个节点之间都有边相连的简单有向图； 6.无向完全图有n(n-1)/2条边，有向完全图有n(n-1)条边； 7.r-正则图：每个节点度数均为r 的图； 8.握手定理：节点度数的总和等于边的两倍； 9.任何图中，度数为奇数的节点个数必定是偶数个； 10.任何有向图中，所有节点入度之和等于所有节点的出度之和； 11.每个节点的度数至少为2的图必定包含一条回路； 12.可达：对于图中的两个节点i v ,j v ，若存在连接i v 到j v 的路，则称i v 与j v 相互可达，也称i v 与j v 是连通的；在有向图中，若存在i v 到j v 的路，则称i v 到j v 可达； 13.强连通：有向图章任意两节点相互可达； 单向连通：图中两节点至少有一个方向可达； 弱连通：无向图的连通；(弱连通必定是单向连通) 14.点割集：删去图中的某些点后所得的子图不连通了，如果删去其他几个点后子图之间仍是连通的，则这些点组成的集合称为点割集； 割点：如果一个点构成点割集，即删去图中的一个点后所得子图是不连通的，则该点称为割点； 15.关联矩阵：M(G)，mij 是vi 与ej 关联的次数，节点为行，边为列； 无向图：点与边无关系关联数为0，有关系为1，有环为2； 有向图：点与边无关系关联数为0，有关系起点为1终点为-1， 关联矩阵的特点： 无向图： ①行：每个节点关联的边，即节点的度； ②列：每条边关联的节点； 有向图： ③所有的入度(1)=所有的出度(0); 16.邻接矩阵：A(G)，aij 是vi 邻接到vj 的边的数目，点为行，点为列； 17.可达矩阵：P(G)，至少存在一条回路的矩阵，点为行，点为列； P(G)=A(G)+2A (G)+3A (G)+4A (G) 可达矩阵的特点：表明图中任意两节点之间是否至少存在一条路，以及在任何节点上是否存在回路； A(G)中所有数的和：表示图中路径长度为1的通路条数； 2A (G)中所有数的和：表示图中路径长度为2的通路条数； 3A (G)中所有数的和：表示图中路径长度为3的通路条数； 4A (G)中所有数的和：表示图中路径长度为4的通路条数； P(G)中主对角线所有数的和：表示图中的回路条数； 18.布尔矩阵：B(G)，i v 到j v 有路为1，无路则为0，点为行，点为列； 19.代价矩阵：邻接矩阵元素为1的用权值表示，为0的用无穷大表示，节点自身到自身的权值为0； 20.生成树：只访问每个节点一次，经过的节点和边构成的子图； 21.构造生成树的两种方法：深度优先；广度优先； 深度优先： ①选定起始点0v ； ②选择一个与0v 邻接且未被访问过的节点1v ； ③从1v 出发按邻接方向继续访问，当遇到一个节点所有邻接点均已被访问时，回到该节点的前一个点，再寻求未被访问过的邻接点，直到所有节点都被访问过一次； 广度优先： ①选定起始点0v ； ②访问与0v 邻接的所有节点v1,v2,……,vk,这些作为第一层节点； ③在第一层节点中选定一个节点v1为起点； ④重复②③，直到所有节点都被访问过一次； 22.最小生成树：具有最小权值(T)的生成树； 23.构造最小生成树的三种方法： 克鲁斯卡尔方法；管梅谷算法；普利姆算法； （1）克鲁斯卡尔方法 ①将所有权值按从小到大排列； ②先画权值最小的边，然后去掉其边值；重新按小到大排序； ③再画权值最小的边，若最小的边有几条相同的，选择时要满足不能出现回路，然后去掉其边值；重新按小到大排序； ④重复③，直到所有节点都被访问过一次； （2）管梅谷算法(破圈法) ①在图中取一回路，去掉回路中最大权值的边得一子图； ②在子图中再取一回路，去掉回路中最大权值的边再得一子图； ③重复②，直到所有节点都被访问过一次； （3）普利姆算法 ①在图中任取一点为起点1v ，连接边值最小的邻接点v2； ②以邻接点v2为起点，找到v2邻接的最小边值，如果最小边值比v1邻接的所有边值都小(除已连接的边值)，直接连接，否则退回1v ，连接1v 现在的最小边值(除已连接的边值)； ③重复操作，直到所有节点都被访问过一次； 24.关键路径 例2 求PERT 图中各顶点的最早完成时间, 最晚完成时间, 缓冲时间及关键路径. 解：最早完成时间 TE(v1)=0 TE(v2)=max{0+1}=1 TE(v3)=max{0+2,1+0}=2 TE(v4)=max{0+3,2+2}=4 TE(v5)=max{1+3,4+4}=8 TE(v6)=max{2+4,8+1}=9 TE(v7)=max{1+4,2+4}=6 TE(v8)=max{9+1,6+6}=12 最晚完成时间 TL(v8)=12 TL(v7)=min{12-6}=6 TL(v6)=min{12-1}=11 TL(v5)=min{11-1}=10 TL(v4)=min{10-4}=6 TL(v3)=min{6-2,11-4,6-4}=2 TL(v2)=min{2-0,10-3,6-4}=2 TL(v1)=min{2-1,2-2,6-3}=0 缓冲时间 TS(v1)=0-0=0 TS(v2)=2-1=1 TS(v3)=2-2=0 TS(v4)=6-4=2 TS(v5=10-8=2 TS(v6)=11-9=2 TS(v7)=6-6=0 TS(v8)=12-12=0 关键路径: v1-v3-v7-v8 25.欧拉路：经过图中每条边一次且仅一次的通路； 欧拉回路：经过图中每条边一次且仅一次的回路； 欧拉图：具有欧拉回路的图； 单向欧拉路：经过有向图中每条边一次且仅一次的单向路； 欧拉单向回路：经过有向图中每条边一次且仅一次的单向回路； 26.（1）无向图中存在欧拉路的充要条件： ①连通图；②有0个或2个奇数度节点； （2）无向图中存在欧拉回路的充要条件： ①连通图；②所有节点度数均为偶数； （3）连通有向图含有单向欧拉路的充要条件： ①除两个节点外，每个节点入度=出度； ②这两个节点中，一个节点的入度比出度多1，另一个节点的入；度比出度少1； （4）连通有向图含有单向欧拉回路的充要条件： 图中每个节点的出度=入度； 27.哈密顿路：经过图中每个节点一次且仅一次的通路； 哈密顿回路：经过图中每个节点一次且仅一次的回路； 哈密顿图：具有哈密顿回路的图； 28.判定哈密顿图（没有充要条件） 必要条件： 任意去掉图中n 个节点及关联的边后，得到的分图数目小于等于n ； 充分条件： 图中每一对节点的度数之和都大于等于图中的总节点数； 29.哈密顿图的应用：安排圆桌会议； 方法：将每一个人看做一个节点，将每个人与和他能交流的人连接，找到一条经过每个节点一次且仅一次的回路(哈密顿图)，即可； 30.平面图：将图形的交叉边进行改造后，不会出现边的交叉，则是平面图； 31.面次：面的边界回路长度称为该面的次； 32.一个有限平面图，面的次数之和等于其边数的两倍； 33.欧拉定理：假设一个连通平面图有v 个节点，e 条边，r 个面，则 v-e+r=2； 34.判断是平面图的必要条件：(若不满足，就一定不是平面图) 设图G 是v 个节点，e 条边的简单连通平面图，若v>=3，则e<=3v-6； 35.同胚：对于两个图G1,G2，如果它们是同构的，或者通过反复插入和除去2度节点可以变成同构的图，则称G1，G2是同胚的； 36.判断G 是平面图的充要条件： 图G 不含同胚于K3.3或K5的子图； 37.二部图：①无向图的节点集合可以划分为两个子集V1，V2； ②图中每条边的一个端点在V1，另一个则在V2中； 完全二部图：二部图中V1的每个节点都与V2的每个节点邻接； 判定无向图G 为二部图的充要条件： 图中每条回路经过边的条数均为偶数； 38.树：具有n 个顶点n-1条边的无回路连通无向图； 39.节点的层数：从树根到该节点经过的边的条数； 40.树高：层数最大的顶点的层数； 41.二叉树： ①二叉树额基本结构状态有5种； ②二叉树内节点的度数只考虑出度，不考虑入度； ③二叉树内树叶的节点度数为0，而树内树叶节点度数为1； ④二叉树内节点的度数=边的总数(只算出度)；握手定理“节点数=边的两倍”是在同时计算入度和出度的时成立； ⑤二叉树内节点的总数=边的总数+1； ⑥位于二叉树第k 层上的节点，最多有12-k 个(k>=1)； ⑦深度为k 的二叉树的节点总数最多为k 2-1个，最少k 个(k>=1)； ⑧如果有0n 个叶子，n2个2度节点，则0n =n2+1； 42.二叉树的节点遍历方法： 先根顺序（DLR ）； 中根顺序（LDR ）； 后根顺序（LRD ）； 43.哈夫曼树：用哈夫曼算法构造的最优二叉树； 44.最优二叉树的构造方法： ①将给定的权值按从小到大排序； ②取两个最小值分支点的左右子树(左小右大)，去掉已选的这两个权值，并将这两个最小值加起来作为下一轮排序的权值； ③重复②，直达所有权值构造完毕； 45.哈夫曼编码：在最优二叉树上，按照左0右1的规则，用0和1代替所有边的权值； 每个节点的编码：从根到该节点经过的0和1组成的一排编码；

离散数学期末试题及答案完整版

离散数学期末试题及答 案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】

326《离散数学》期末考试题(B ) 一、填空题(每小题3分，共15分) 1.设,,},,{{b a b a A =?}，则-A ? = ( )，-A {?} = ( )， )(A P 中的元素个数=|)(|A P ( ). 2.设集合A 中有3个元素，则A 上的二元关系有( )个，其中有( )个是A 到A 的函数. 3.谓词公式))()(())()((y P y Q y x Q x P x ?∧?∧→?中量词x ?的辖域为( ), 量词y ?的辖域为( ). 4.设}24,12,8,6,4,3,2,1{24=D ，对于其上的整除关系“|”，元素( )不存在补元. 5.当n ( )时，n 阶完全无向图n K 是平面图，当当n 为( )时，n K 是欧拉图. 二．1. 若n B m A ==||,||，则=?||B A ( )，A 到B 的2元关系共有( )个，A 上的2元关系共有( )个. 2. 设A = {1, 2, 3}, f = {(1,1), (2,1), (3, 1)}, g = {(1, 1), (2, 3), (3, 2)}和h = {(1, 3), (2, 1), (3, 1)}，则( )是单射，( )是满射，( )是双射. 3. 下列5个命题公式中，是永真式的有( )(选择正确答案的番号). (1)q q p p →→∧)(； (2))(q p p ∨→； (3))(q p p ∧→； (4)q q p p →∨∧?)(； (5)q q p →→)(. 4. 设D 24是24的所有正因数组成的集合，“|”是其上的整除关系，则3的补元( )，4的补元( )，6的补元( ).

离散数学自学考试复习题

离散数学 复习题 1．设A 和B 都是命题，则A →B 的真值为假当且仅当 。 A. A 为假，B 为真 B. A 为假，B 为假 C. A 为真，B 为真 D. A 为真，B 为假 2．下列公式中为重言式的是 。 A. P →(P ∨Q ∨R) B. ┐(Q →P)∧P C. (P →Q)→(Q →┐P) D. (P ∧┐P)←→Q 3．设A ＝{a ，{a}}，P(A)表示A 的幂集，下面各式中错误的是 。 A. {a}∈P(A) B. {a}?P(A) C. {{a}}∈P(A) D. {{a}}?P(A) 4．设A ＝{1,2,3,4,5,6}上的关系为R ＝{|x>y}，则R -1具有 。 A. 对称性 B. 自反性 C. 反自反性、反对称性、传递性 D. 以上都不对 5．设R 是非空集合A 上的二元关系，则R 的对称闭包S(R)＝ 。 A. R ∪I A B. R ∪R C C. R-I A D. R ∩R C 6．映射的复合运算满足 。 A. 交换律 B. 结合律 C. 幂等律 D. 分配律 7．设R 、I 分别是实数集合和整数集合，-、×、/ 分别是普通的减法、乘法 和除法运算，则 是半群。 A. B. C. D. 8．在一个格中，对任意的a ，b ，c ∈A ，都有 。 A. a ∨(b ∧c)≤(a ∨b)∧(a ∨c) B. a ∧(b ∨c)≤(a ∧b)∨(a ∧c) C. a ∨(b ∧c)＝(a ∨b)∧(a ∨c) D. A 、B 、C 都正确 9．无向简单图G 中结点间的连通关系是 。 A. 偏序关系 B. 等价关系 C. 既是偏序关系又是等价关系 D. A 、B 、C 都错误 10.设G 是一个有v 个结点e 条边的连通简单平面图，若v ≥3，则 。 A. v ≤3e-6 B. e ≤3v-6 C. v ≤3e+6 D. e ≤3v+6 11．设P 和Q 是命题，P ，?P ∨Q ?Q 。 ( ) 12．设A 和B 是集合，A-B ＝A 当且仅当B ＝Φ。 ( ) 13．一个不是自反的关系，一定是反自反的。 ( ) 14．若A 和B 是任意两个集合，则A ×B ＝B ×A 。 ( ) 15．关系f ＝{|m,n ∈N,m+n ＜10}是函数，其中N 是自然数集合。 ( ) 16．集合B 是集合A 的真子集，则K[B]＜K[A]。 ( ) 17．整环一定是域。 ( ) 18．任何两个具有2n 个元素的有限布尔代数都是同构的。 ( ) 19．已知无向连通图G 中有n 个结点，m 条边，G 中无回路，则m ＝n-1。( ) 20.如果两个图的结点数相同、边数相等、度数相同的结点数目也相等，那么这两个图是同构的。 ( ) 21.设命题P 表示“我今天将去公园”，命题Q 表示“天下雨”，则命题“我今天去公园，除非下雨”可以符号化为 (1) 。

离散数学(屈婉玲版)第一章部分习题分解

第一章习题 1.1&1.2 判断下列语句是否为命题,若是命题请指出是简单命题还 是复合命题.并将命题符号化,并讨论它们的真值. (1) √2是无理数. 是命题,简单命题.p:√2是无理数.真值:1 (2) 5能被2整除. 是命题,简单命题.p:5能被2整除.真值:0 (3)现在在开会吗? 不是命题. (4)x+5>0. 不是命题. (5) 这朵花真好看呀! 不是命题. (6) 2是素数当且仅当三角形有3条边. 是命题,复合命题.p:2是素数.q:三角形有3条边.p?q真值:1 (7) 雪是黑色的当且仅当太阳从东方升起. 是命题,复合命题.p:雪是黑色的.q:太阳从东方升起. p?q真值:0 (8) 2008年10月1日天气晴好. 是命题,简单命题.p:2008年10月1日天气晴好.真值唯 一. (9) 太阳系以外的星球上有生物. 是命题,简单命题.p:太阳系以外的星球上有生物.真值唯一. (10) 小李在宿舍里. 是命题,简单命题.P:小李在宿舍里.真值唯一. (11) 全体起立! 不是命题. (12) 4是2的倍数或是3的倍数. 是命题,复合命题.p:4是2的倍数.q:4是3的倍数.p∨q 真值:1 (13) 4是偶数且是奇数.

是命题,复合命题.P:4是偶数.q:4是奇数.p∧q真值:0 (14) 李明与王华是同学. 是命题,简单命题.p: 李明与王华是同学.真值唯一. (15) 蓝色和黄色可以调配成绿色. 是命题,简单命题.p: 蓝色和黄色可以调配成绿色.真值:1 1.3 判断下列各命题的真值. (1)若 2+2=4,则 3+3=6. (2)若 2+2=4,则 3+3≠6. (3)若 2+2≠4,则 3+3=6. (4)若 2+2≠4,则 3+3≠6. (5)2+2=4当且仅当3+3=6. (6)2+2=4当且仅当3+3≠6. (7)2+2≠4当且仅当3+3=6. (8)2+2≠4当且仅当3+3≠6. 答案: 设p:2+2=4,q:3+3=6,则p,q都是真命题. (1)p→q,真值为1. (2)p→┐q,真值为0. (3)┐p→q,真值为1. (4)┐p→┐q,真值为1. (5)p?q,真值为1. (6)p?┐q,真值为0. (7)┐p?q,真值为0. (8)┐p?┐q,真值为1. 1．4将下列命题符号化，并讨论其真值。 （1）如果今天是1号，则明天是2号。 p:今天是1号。 q:明天是2号。 符号化为：p→q 真值为：1 （2）如果今天是1号，则明天是3号。 p:今天是1号。

自考离散数学02324真题含答案(2009.4-2016.4年整理版)

全国2009年4月自学考试离散数学试题（附答案） 课程代码：02324 一、单项选择题（本大题共15小题，每小题1分，共15分） 在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分。 1．下列为两个命题变元P，Q的小项是（） A．P∧Q∧? P B．? P∨Q C．? P∧Q D．? P∨P∨Q 2．下列语句中是真命题的是（） A．我正在说谎B．严禁吸烟 C．如果1+2=3，那么雪是黑的D．如果1+2=5，那么雪是黑的 3．设P：我们划船，Q：我们跑步。命题“我们不能既划船又跑步”符号化为（） A．? P∧? Q B．? P∨? Q C．?（P?Q）D．?（? P∨? Q） 4．命题公式（P∧（P→Q））→Q是（） A．矛盾式B．蕴含式 C．重言式D．等价式 5．命题公式?（P∧Q）→R的成真指派是（） A．000，001，110，B．001，011，101，110，111 C．全体指派D．无 6．在公式（x ?）F（x，y）→（?y）G（x，y）中变元x是（） A．自由变元B．约束变元 C．既是自由变元，又是约束变元D．既不是自由变元，又不是约束变元 7．集合A={1，2，…，10}上的关系R={|x+y=10，x∈A，y∈A}，则R的性质是（） A．自反的B．对称的 C．传递的、对称的D．反自反的、传递的 8．若R和S是集合A上的两个关系，则下述结论正确的是（） A．若R和S是自反的，则R∩S是自反的 B．若R和S是对称的，则R S是对称的 C．若R和S是反对称的，则R S是反对称的 D．若R和S是传递的，则R∪S是传递的 9．R={<1，4>，<2，3>，<3，1>，<4，3>}，则下列不是 ．．t（R）中元素的是（） A．<1，1> B．<1，2> C．<1，3> D．<1，4>