离散数学考试试题(A卷及答案)

合集下载

离散数学期末试题

离散数学期末试题

离散数学考试试题(A 卷及答案)一、(10分)求(P ↓Q )→(P ∧⌝(Q ∨⌝R ))的主析取范式解:(P ↓Q )→(P ∧⌝(Q ∨⌝R ))⇔⌝(⌝( P ∨Q ))∨(P ∧⌝Q ∧R ))⇔(P ∨Q )∨(P ∧⌝Q ∧R ))⇔(P ∨Q ∨P )∧(P ∨Q ∨⌝Q )∧(P ∨Q ∨R )⇔(P ∨Q )∧(P ∨Q ∨R )⇔(P ∨Q ∨(R ∧⌝R ))∧(P ∨Q ∨R )⇔(P ∨Q ∨R )∧(P ∨Q ∨⌝R )∧(P ∨Q ∨R )⇔0M ∧1M⇔2m ∨3m ∨4m ∨5m ∨6m ∨7m二、(10分)在某次研讨会的休息时间,3名与会者根据王教授的口音分别作出下述判断: 甲说:王教授不是苏州人,是上海人。

乙说:王教授不是上海人,是苏州人。

丙说:王教授既不是上海人,也不是杭州人。

王教授听后说:你们3人中有一个全说对了,有一人全说错了,还有一个人对错各一半。

试判断王教授是哪里人?解 设设P :王教授是苏州人;Q :王教授是上海人;R :王教授是杭州人。

则根据题意应有: 甲:⌝P ∧Q乙:⌝Q ∧P丙:⌝Q ∧⌝R王教授只可能是其中一个城市的人或者3个城市都不是。

所以,丙至少说对了一半。

因此,可得甲或乙必有一人全错了。

又因为,若甲全错了,则有⌝Q ∧P ,因此,乙全对。

同理,乙全错则甲全对。

所以丙必是一对一错。

故王教授的话符号化为:((⌝P ∧Q )∧((Q ∧⌝R )∨(⌝Q ∧R )))∨((⌝Q ∧P )∧(⌝Q ∧R ))⇔(⌝P ∧Q ∧Q ∧⌝R )∨(⌝P ∧Q ∧⌝Q ∧R )∨(⌝Q ∧P ∧⌝Q ∧R )⇔(⌝P ∧Q ∧⌝R )∨(P ∧⌝Q ∧R )⇔⌝P ∧Q ∧⌝R⇔T因此,王教授是上海人。

三、(10分)证明tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。

证明 设R 是非空集合A 上的二元关系,则tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。

离散数学考试试题A

离散数学考试试题A
2. (10 points) Write each of the following statements in terms of propositional variables, predicates, quantifiers and logical connectives. You can choose any propositional variables and predicates freely. (1). If I like the course or the teacher, I will attend the class. (statement and its negation) (2). For all students of our school, someone studies hard and has good score, someone studies hard and does not have good score. Note: The first question is expressed in propositional logic, the second is expressed in predicate logic.
7. (15 points) Use the labeling algorithm (Ford-Fulkerson’s) to find a maximum flow for the following transport network in Fig. 1. Use of figures is required to show the variety of
(2). if A × B = A × C, A ≠ ∅, then 问题的任何反例都可以)
例如, A={1,2}, B={1}, C={1,3}.

《离散数学》(上)试卷(A卷)及参考答案

《离散数学》(上)试卷(A卷)及参考答案

安徽大学20 09 — 20 10 学年第 1 学期 《 离散数学 》考试试卷(A 卷)(时间120分钟)院/系 专业 姓名 学号一、单项选择题(每小题2分,共20分)1. 设:P 天没下雪,:Q 我去镇上,则命题“天正在下雪,我没去镇上”可符号化为( D )A.Q P ⌝→⌝;B. P Q ⌝→⌝;C.Q P ⌝∧;D. Q P ⌝∧⌝。

2.下列命题是重言式的是( C )A.)()(P Q Q P →∧→;B. )()(Q P P Q P ↔↔↔∧;C. )(Q P Q P →→∧;D. Q P R Q P ∧⌝∧⌝∨→))((。

3. 设解释R 如下:论域D 为实数集,a=0, f(x,y)=x-y, A(x,y):x<y.下列公式在R 下为真的是( )A.(∀x)(∀y)(∀z)(A(x,y)→A(f(x,z),f(y,z)))B.(∀x)A(f(a,x),a)C.(∀x)(∀y)(A(f(x,y),x))D.(∀x)(∀y)(A(x,y)→A(f(x,a),a))4. 对任意集合,,A B C ,下列结论正确的是( B )A. C A C B B A ∉⇒∉∧∉][;B. C A C B B A ∈⇒⊆∧∈][;C. C A C B B A ∉⇒∉∧∈][;D. C A C B B A ∈⇒∈∧⊆][。

5. 9.关于{,,}X a b c =到{1,2,3}Y =的函数{,1,,1,,3}f a b c =<><><>,下列结论不正确的是( )A 、1({3}){}f c -=; B 、1(3)f c -=; C 、({}){3}f c =; D 、()3f c =。

6. 设I 为整数集合,则I 上的二元关系}4|||,{=-><=y x y x R 具有( B )A.自反性和对称性;B.反自反性和对称性;C.反自反性和传递性;D.反对称性和传递性。

安徽大学大二计算机专业离散数学试卷及答案13

安徽大学大二计算机专业离散数学试卷及答案13

安徽大学20 xx —20 xx 学年第 2 学期《 离散数学(下) 》考试试卷(A 卷)(闭卷 时间120分钟)一、单项选择题(每小题2分,共20分) 1.设R 为实数集合,则下列集合关于加法运算不是,R <+>的子代数的是( ) A.偶数集合; B.奇数集合; C.自然数集合; D.整数集合。

2.下列关于群的说法正确的是( )A.质数阶的群必为循环群;B.有限群必为循环群;C.循环群必为质数阶群;D.循环群必为有限群。

3.设R 为实数集合,则20(),0a M R a b R b ⎧⎫⎛⎫=∈⎨⎬⎪⎝⎭⎩⎭关于矩阵的加法和乘法构成( ) A.有幺元的交换环; B.无幺元的非交换环; C.无幺元的交换环; D.有幺元的非交换环。

4.设I 为整数集合,则下列关系是代数,I <+>上的同余关系的是( )A.||0x y x y ⇔-≤;B.(00)(00)x y x y x y ⇔<∧<∨≥∧≥;C.xy x y ⇔≤; D.(0)(00)xy x y x y ⇔==∨≠∧≠。

5.下列集合关于整除关系构成格的是( )A.{1,2,3,4,6};B.{1,2,3,6};C.{2,3,6};D.{1,2,3}。

6.在布尔代数,,,,0,1B '<*⊕>中任取两元素,a b ,下列命题与a b ≤不一定等价的是() A.a b a *=; B.a b b ⊕=; C.0a b '*=; D.1a b '⊕=。

7.在布尔代数>'⊕*<1,0,,,,B 上定义的n 元布尔表达式所对应的不同主析取范式总个数为( ) A.n2; B.nBB; C.nB2; D.nB 。

8.设无向图,G V E =<>中{1,2,3,4,5}V =,{(1,2),(2,3),(3,4),(4,5),(5,1),(2,5)}E =, 则{2,4}V '=不是图G 的( )A.点割;B.支配集;C.点覆盖;D.独立集。

离散数学考试试题(A卷及答案)

离散数学考试试题(A卷及答案)

离散数学考试试题(A卷及答案)离散数学考试试题(A卷及答案)⼀、(10分)判断下列公式的类型(永真式、永假式、可满⾜式)?1)((P→Q)∧Q)?((Q∨R)∧Q) 2)?((Q→P)∨?P)∧(P∨R)3)((?P∨Q)→R)→((P∧Q)∨R)解:1)永真式;2)永假式;3)可满⾜式。

⼆、(8分)个体域为{1,2},求?x?y(x+y=4)的真值。

解:?x?y(x+y=4)??x((x+1=4)∨(x+2=4))((1+1=4)∨(1+2=4))∧((2+1=4)∨(2+1=4))(0∨0)∧(0∨1)1∧1?0三、(8分)已知集合A和B且|A|=n,|B|=m,求A到B的⼆元关系数是多少?A到B的函数数是多少?解:因为|P(A×B)|=2|A×B|=2|A||B|=2mn,所以A到B的⼆元关系有2mn个。

因为|BA|=|B||A|=mn,所以A到B的函数mn个。

四、(10分)已知A={1,2,3,4,5}和R={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>},求r(R)、s(R)和t(R)。

解:r(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<2,2>,<3,3>,<4,4>,<5,5>}s(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<3,2>,<4,3>,<4,5>}t(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<1,3>,<2,2>,<2,4>,<1,4>}五、(10分) 75个⼉童到公园游乐场,他们在那⾥可以骑旋转⽊马,坐滑⾏铁道,乘宇宙飞船,已知其中20⼈这三种东西都乘过,其中55⼈⾄少乘坐过其中的两种。

离散数学期末试题A答案及评分标准

离散数学期末试题A答案及评分标准

--北京工商大学离散数学试卷(A)答案及评分标准题号 一 二三 四 五 六 七总分得分一、(30分)设A ={1,2,3,4},给定A 上二元关系R 如下:R ={<1,1>, <1,2>, <2,3>, <3,3>, <4,4>}请回答以下各问题:1.写出R 的关系矩阵. (3分)2.画出R 的关系图. (3分)3.求包含R 的最小的等价关系,并写出由其确定的划分. (6分)4.分别用关系矩阵表示出R 的自反闭包r (R )、对称闭包s (R ). (6分)5.求传递闭包t (R ).(写出计算步骤)(6分)6.求R 2的关系矩阵. (3分)7.集合A 上最多可以确定多少个不同的二元关系?说明理由。

(3分)[解] (1)⎪⎪⎪⎪⎪⎭⎫⎝⎛=1000010001000011R M 。

……(3分)(2) ……(3分)(3)法一:直接由等价关系与划分之间的一一对应可知,包含R 的最小等价关系为: {<1, 2>, <1, 3>, <2, 1>,<2, 3>, <3, 1> <3, 2>}∪I A , ……(3分) 对应的划分为{{1, 2, 3},{4}}. ……(6分) 法二:包含R 的最小的等价关系就是tsr (R ), 计算过程如下:⎪⎪⎪⎪⎪⎭⎫⎝⎛=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎪⎪⎭⎫⎝⎛=+=100001000110001110000100001000011000010001000011)(E M M R R r,100001100111001110000110001100011000010001100011][)()()(⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎪⎪⎭⎫⎝⎛+⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=+=T R r R r R sr M M M ,3,10001110111011110000110011100111000011001110011)]([)()()]([2≥=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎪⎪⎭⎫⎝⎛⨯⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=⨯=k M M M M k R sr R sr R sr R sr 从而,10000111011101111000011101110111100001110111011110000111011101111000011001110011432)]([)]([)]([)()(⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=+++=R sr R sr R sr R sr R tsr M M M M M即}2,3,1,3,3,2,1,2,3,1,2,1{)(><><><><><><⋃=A I R tsr =包含R 的最小的等价关系, ……(3分) 故其对应的划分为{{1, 2, 3},{4}}. ……(6分) 法三:由于4=A ,包含R 的最小的等价关系就是4131211)()()()()()(----⋃⋃⋃⋃⋃⋃⋃⋃==R R R R R R R R I R rts R tsr A ,计算过程如下:⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎪⎪⎭⎫⎝⎛=+=-⋃100001100101001110000110000100011000010001000011][1TR R R R M M M ⎪⎪⎪⎪⎪⎭⎫⎝⎛=⎪⎪⎪⎪⎪⎭⎫⎝⎛=+=-⋃10000111011101111000011001010011)][(22)(21T R R R R M M M412131)()(33)(10000111011101111000011001010011)][(---⋃⋃⋃==⎪⎪⎪⎪⎪⎭⎫⎝⎛=⎪⎪⎪⎪⎪⎭⎫⎝⎛=+=R R R R T R R R R M M M M M 考试纪律承诺本人自愿遵守学校考试纪律,保证以诚信认真的态度作答试卷。

11级离散数学试题(A)参考答案

11级离散数学试题(A)参考答案

2011级离散数学(A)参考答案一、填空题(每小题2分,共30分)1. 设():M x x 为人, ():F x x 不吃饭。

将命题“没有不吃饭的人”符号化为:))()((x F x M x ⌝→∀ 或 ))()(((x F x m x ∧∃⌝ 。

2. 设A={1, 2, 3, 4} ,则 A 的全部2元子集共有 6 个。

3. 设p :明天是周一,q :明天是周三,r :我有课。

则命题“如果明天是周一或周三,我就有课”的符号化形式为 r q p →∨)( 。

4. 已知命题公式A 含有2个命题变项,其成真赋值为00、10、11,则其主析取范式为 320m m m ∨∨ 。

5. 设p :北京比大连人口多,q :2+2=4,r :乌鸦是白色的。

则命题公式)()(r p r q ⌝→→∨的真值为 1 。

6. 集合}3,2,1{=A 上的关系}3,2,3,1,2,1{><><><=R ,则=-1R { <2,1>,<3,1>,<3,2> }。

7. 画出下图的补图 。

8.设A={1,2,3},B={a,b,c},A 1={1},f={<1,a>,<2,a>,<3,b>},则=-))((11A f f { 1,2 }。

9. 设无向图的度数序列为:1,2,2,3,4。

则该无向图的边数m= 6 。

10. 3阶有向完全图的2条边的非同构的生成子图有 4 个。

11. 设〈≤,A 〉为偏序集,A B ⊆。

若y x B y x 与,,∈∀都是可比的,则称B是A 中的一条链,B 中的元素个数称为链的长度。

在偏序集〈{1,2,…,9},整除〉中,{1,2,4,8}是长为 4 的链。

12. 下面运算表中的单位元是 b 。

13. 写出模4加法群G=<Z 4,⊕ >的运算表14. 模4加法群中, 2-3= 2 。

离散数学试卷及答案

离散数学试卷及答案

离散数学试题与答案试卷一一、填空 20% (每小题2分)1.设 }7|{)},5()(|{<∈=<∈=+x E x x B x N x x A 且且(N :自然数集,E + 正偶数) 则 =⋃B A 。

2.A ,B ,C 表示三个集合,文图中阴影部分的集合表达式为 。

3.设P ,Q 的真值为0,R ,S 的真值为1,则)()))(((S R P R Q P ⌝∨→⌝∧→∨⌝的真值= 。

4.公式P R S R P ⌝∨∧∨∧)()(的主合取范式为 。

5.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ∀→∃ 在I 下真值为 。

6.设A={1,2,3,4},A 上关系图为则 R 2 = 。

7.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图为则 R= 。

8.图的补图为 。

9.设A={a ,b ,c ,d} ,A 上二元运算如下:A BC* a b c d a b c da b c d b c d a c d a b d a b c那么代数系统<A ,*>的幺元是 ,有逆元的元素为 ,它们的逆元分别为 。

10.下图所示的偏序集中,是格的为 。

二、选择 20% (每小题 2分)1、下列是真命题的有( ) A . }}{{}{a a ⊆;B .}}{,{}}{{ΦΦ∈Φ;C . }},{{ΦΦ∈Φ;D . }}{{}{Φ∈Φ。

2、下列集合中相等的有( )A .{4,3}Φ⋃;B .{Φ,3,4};C .{4,Φ,3,3};D . {3,4}。

3、设A={1,2,3},则A 上的二元关系有( )个。

A . 23 ; B . 32 ; C . 332⨯; D . 223⨯。

4、设R ,S 是集合A 上的关系,则下列说法正确的是( ) A .若R ,S 是自反的, 则S R 是自反的; B .若R ,S 是反自反的, 则S R 是反自反的; C .若R ,S 是对称的, 则S R 是对称的; D .若R ,S 是传递的, 则S R 是传递的。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

离散数学考试试题(A卷及答案)一、(10分)判断下列公式的类型(永真式、永假式、可满足式)?1)((P→Q)∧Q)↔((Q∨R)∧Q) 2)⌝((Q→P)∨⌝P)∧(P∨R)3)((⌝P∨Q)→R)→((P∧Q)∨R)解:1)永真式;2)永假式;3)可满足式。

二、(8分)个体域为{1,2},求∀x∃y(x+y=4)的真值。

解:∀x∃y(x+y=4)⇔∀x((x+1=4)∨(x+2=4))⇔((1+1=4)∨(1+2=4))∧((2+1=4)∨(2+1=4))⇔(0∨0)∧(0∨1)⇔1∧1⇔0三、(8分)已知集合A和B且|A|=n,|B|=m,求A到B的二元关系数是多少?A到B的函数数是多少?解:因为|P(A×B)|=2|A×B|=2|A||B|=2mn,所以A到B的二元关系有2mn个。

因为|BA|=|B||A|=mn,所以A到B的函数mn个。

四、(10分)已知A={1,2,3,4,5}和R={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>},求r(R)、s(R)和t(R)。

解:r(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<2,2>,<3,3>,<4,4>,<5,5>}s(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<3,2>,<4,3>,<4,5>}t(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<1,3>,<2,2>,<2,4>,<1,4>}五、(10分) 75个儿童到公园游乐场,他们在那里可以骑旋转木马,坐滑行铁道,乘宇宙飞船,已知其中20人这三种东西都乘过,其中55人至少乘坐过其中的两种。

若每样乘坐一次的费用是0.5元,公园游乐场总共收入70元,求有多少儿童没有乘坐过其中任何一种。

解设A、B、C分别表示骑旋转木马、坐滑行铁道、乘宇宙飞船的儿童组成的集合,|A∩B∩C|=20,|A∩B|+|A∩C|+|B∩C|-2|A∩B∩C|=55,|A|+|B|+|C|=70/0.5=140。

由容斥原理,得|A∪B∪C|=|A|+|B|+|C|―|A∩B|―|A∩C|―|B∩C|+|A∩B∩C|所以|A∩B∩C|=75-|A∪B∪C|=75-(|A|+|B|+|C|)+(|A∩B|+|A∩C|+|B∩C|-2|A∩B∩C|)+|A∩B∩C|=75-140+55+20=10没有乘坐过其中任何一种的儿童共10人。

六、(12分)已知R和S是非空集合A上的等价关系,试证:1)R∩S是A上的等价关系;2)对a∈A,[a]R∩S=[a]R∩[a]S。

解:∀x∈A,因为R和S是自反关系,所以<x,x>∈R、<x,x>∈S,因而<x,x>∈R∩S,故R∩S是自反的。

∀x、y∈A,若<x,y>∈R∩S,则<x,y>∈R、<x,y>∈S,因为R和S是对称关系,所以因<y,x>∈R、<y,x>∈S,因而<y,x>∈R∩S,故R∩S是对称的。

∀x、y、z∈A,若<x,y>∈R∩S且<y,z>∈R∩S,则<x,y>∈R、<x,y>∈S且<y,z>∈R、<y,z>∈S,因为R和S是传递的,所以因<x,z>∈R、<x,z>∈S,因而<x,z>∈R∩S,故R∩S是传递的。

总之R∩S是等价关系。

2)因为x∈[a]R∩S⇔<x,a>∈R∩S⇔<x,a>∈R∧<x,a>∈S⇔ x∈[a]R∧x∈[a]S⇔ x∈[a]R∩[a]S所以[a]R∩S=[a]R∩[a]S。

七(10分)设A、B、C、D是集合,f是A到B的双射,g是C到D的双射,令h:A×C→B×D且∀<a,c>∈A×C,h(<a,c>)=<f(a),g(c)>。

证明h是双射。

证明:1)先证h是满射。

∀<b,d>∈B×D,则b∈B,d∈D,因为f是A到B的双射,g是C到D的双射,所以存在a∈A,c∈C,使得f(a)=b,f(c)=d,亦即存在<a,c>∈A×C,使得h(<a,c>)=<f(a),g(c)>=<b,d>,所以h是满射。

2)再证h是单射。

∀<a1,c1>、<a2,c2>∈A×C,若h(<a1,c1>)=h(<a2,c2>),则<f(a1),g(c1)>=<f(a2),g(c2)>,所以f(a1)=f(a2),g(c1)=g(c2),因为f是A到B的双射,g是C到D的双射,所以a1=a2,c1=c2,所以<a1,c1>=<a2,c2>,所以h是单射。

综合1)和2),h是双射。

八、(12分)<G,*>是个群,u∈G,定义G中的运算“∆”为a∆b=a*u-1*b,对任意a,b∈G,求证:<G, ∆>也是个群。

证明:1)∀a,b∈G,a∆b=a*u-1*b∈G,运算是封闭的。

2)∀a,b,c∈G,(a∆b)∆c=(a*u-1*b)*u-1*c=a*u-1*(b*u-1*c)=a∆(b∆c),运算是可结合的。

3)∀a∈G,设E为∆的单位元,则a∆E=a*u-1*E=a,得E=u,存在单位元。

4)∀a∈G,a∆x=a*u-1*x=E,x=u*a-1*u,则x∆a=u*a-1*u*u-1*a=u=E,每个元素都有逆元。

所以<G, ∆>也是个群。

九、(10分)已知:D=<V,E>,V={1,2,3,4,5},E={<1,2>,<1,4>,<2,3>,<3,4>,<3,5>,<5,1>},求D的邻接距阵A和可达距阵P。

解:D的邻接距阵A和可达距阵P如下:0 1 0 1 0 1 1 1 1 10 0 1 0 0 1 1 1 1 1A= 0 0 0 1 1 P= 1 1 1 1 10 0 0 0 0 0 0 0 0 01 0 0 0 0 1 1 1 1 1十、(10分)求叶的权分别为2、4、6、8、10、12、14的最优二叉树及其权。

解:最优二叉树为权=148离散数学考试试题(B卷及答案)一、(10分)求命题公式⌝(P∧Q)↔⌝(⌝P→R)的主合取范式。

解:⌝(P∧Q)↔⌝(⌝P→R)⇔(⌝(P∧Q)→⌝(⌝P→R))∧(⌝(⌝P→R)→⌝(P∧Q))⇔((P∧Q)∨(⌝P∧⌝R))∧((P∨R)∨(⌝P∨⌝Q))⇔(P∧Q)∨(⌝P∧⌝R)⇔(P∨⌝R)∧(Q∨⌝P)∧(Q∨⌝R)⇔(P∨Q∨⌝R)∧(P∨⌝Q∨⌝R)∧(⌝P∨Q∨R)∧(⌝P∨Q∨⌝R)⇔M1∧M3∧M4∧M5二、(8分)叙述并证明苏格拉底三段论解:所有人都是要死的,苏格拉底是人,所以苏格拉底是要死的。

符号化:F(x):x是一个人。

G(x):x要死的。

A:苏格拉底。

命题符号化为∀x(F(x)→G(x)),F(a)⇒G(a)证明:(1)∀x(F(x)→G(x)) P(2)F(a)→G(a) T(1),US(3)F(a) P(4)G(a) T(2)(3),I三、(8分)已知A、B、C是三个集合,证明A∩(B∪C)=(A∩B)∪(A∩C)证明:∵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 )四、(10分)已知R 和S 是非空集合A 上的等价关系,试证:1)R ∩S 是A 上的等价关系;2)对a ∈A ,[a]R∩S=[a]R ∩[a]S 。

解:∀x ∈A ,因为R 和S 是自反关系,所以<x,x>∈R 、<x,x>∈S ,因而<x,x>∈R ∩S ,故R ∩S 是自反的。

∀x 、y ∈A ,若<x,y>∈R ∩S ,则<x,y>∈R 、<x,y>∈S ,因为R 和S 是对称关系,所以因<y,x>∈R 、<y,x>∈S ,因而<y,x>∈R ∩S ,故R ∩S 是对称的。

∀x 、y 、z ∈A ,若<x,y>∈R ∩S 且<y,z>∈R ∩S ,则<x,y>∈R 、<x,y>∈S 且<y,z>∈R 、<y,z>∈S ,因为R 和S 是传递的,所以因<x,z>∈R 、<x,z>∈S ,因而<x,z>∈R ∩S ,故R ∩S 是传递的。

总之R ∩S 是等价关系。

2)因为x ∈[a]R ∩S ⇔<x,a>∈R ∩S ⇔<x,a>∈R ∧<x,a>∈S ⇔ x ∈[a]R ∧x ∈[a]S ⇔ x ∈[a]R ∩[a]S 所以[a]R ∩S =[a]R ∩[a]S 。

五、(10分) 设A ={a ,b ,c ,d },R 是A 上的二元关系,且R ={<a ,b >,<b ,a >,<b ,c >,<c ,d >},求r (R )、s (R )和t (R )。

解 r (R )=R ∪I A ={<a ,b >,<b ,a >,<b ,c >,<c ,d >,<a ,a >,<b ,b >,<c ,c >,<d ,d >} s (R )=R ∪R -1={<a ,b >,<b ,a >,<b ,c >,<c ,d >,<c ,b >,<d ,c >} R 2={<a ,a >,<a ,c >,<b ,b >,<b ,d >} R 3={<a ,b >,<a ,d >,<b ,a >,<b ,c >} R 4={<a ,a >,<a ,c >,<b ,b >,<b ,d >}=R 2t (R )=i i R ∞=1 ={<a ,b >,<b ,a >,<b ,c >,<c ,d >,<a ,a >,<a ,c >,<b ,b >,<b ,d >,<a ,d >}六、(15分) 设A 、B 、C 、D 是集合,f 是A 到B 的双射,g 是C 到D 的双射,令h :A ×C →B ×D 且∀<a,c>∈A ×C ,h(<a,c>)=<f(a),g(c)>。

相关文档
最新文档