离散数学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 上的二元关系，则由定理4.19知，tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。

学 院： 专 业： 学 号： 姓 名：装 订 线考试试卷 ( A )课程名称: 离散数学 考试时间: 2007 年 1 月 26 日 (第 21 周 星期五 )题 号 一 二 三 四 五 六 七 八 九 十 总分评卷得分评卷签名复核得分 复核签名一、单项选择题(本大题共8小题，每小题2分，共16分)1、设p:天下大雨，q:小王乘公共汽车上班，命题“只有天下大雨，小王才乘公共汽车上班”的符号化形式为 [ ] A. p →q B. q →p C .p →┐q D. ┐p →q2、设解释I 如下，个体域D={a,b}, F(a,a)= F (b,b)=0, F(a,b)=F(b,a)=1，在解释I 下，下列公式中真值为1的是 [ ] A. Vx ヨyF(x,y) B. ヨxVyF(x,y) C. VxVyF(x,y) D. ┐ヨx ヨyF(x,y)3、设R 1、R 2为集合A 上的任意关系，下列命题为真的是 [ ] Ａ 若R 1、R 2反自反，则R 1 R 2反自反 B 若R 1、R 2传递，则R 1 R 2传递 C 若R 1、R 2自反，则R 1 R 2自反 D 若R 1、R 2对称，则R 1 R 2对称4、设G 为完全二部图K2,3，下面命题中为真的是 [ ] A. G 为欧拉图 B. G 为哈密尔顿图C. G 为平面图D. G 为正则图5、对于任意集合X, Y , Z ，则 [ ] A. X ∩Y=X ∩Z =>Y=Z B. X ∪Y=X ∪Z =>Y=ZC. X －Y=X －Z =>Y=ZD. X ⊕Y=X ⊕Z =>Y=Z6、下面等式中唯一的恒等式是 [ ] A. (A ∪B ∪C)-(A ∪B)=C B. A ⊕A=AC. A-(B×C)=(A-B)×(A-C)D. A×(B-C)=(A×B)-(A×C)7、设R 为实数集，定义* 运算如下：a*b=|a+b+ab|，则 * 运算满足 [ ]A. 结合律B. 交换律C. 有幺元D. 幂等律 8、对于集合A ＝｛0、1、2、3、4、5、6、7、8、9、10｝，不封闭的二元运算是[ ] A x*y=max(x,y) B x*y=x －y C x*y=(x+y)mod 9 D x*y=min(x,y)二、填空题(本大题共10小题，每空3分，共24分)9、含n 个命题变项的重言式的主合取范式为_________________________。

--北京工商大学离散数学试卷(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 考试纪律承诺本人自愿遵守学校考试纪律，保证以诚信认真的态度作答试卷。

离散数学考试试题(A、B卷及答案)离散数学考试试题(A卷及答案）一、证明题（10分）1) (P∧Q∧A→C)∧(A→P∨Q∨C)⇔ (A∧(P↔Q))→C。

P<->Q=(p->Q)合取（Q->p）证明: (P∧Q∧A→C)∧(A→P∨Q∨C)⇔(⌝P∨⌝Q∨⌝A∨C)∧(⌝A∨P∨Q∨C)⇔((⌝P∨⌝Q∨⌝A)∧(⌝A∨P ∨Q))∨C反用分配律⇔⌝((P∧Q∧A)∨(A∧⌝P∧⌝Q))∨C⇔⌝(A∧((P∧Q)∨(⌝P∧⌝Q)))∨C再反用分配律⇔⌝( A∧(P↔Q))∨C⇔(A∧(P↔Q))→C⇔(⌝P∨Q∨R)∧(((⌝P∨Q)∧(⌝P∨R))∨(⌝Q∧⌝R))分配律⇔(⌝P∨Q∨R)∧(⌝P∨Q∨⌝Q)∧(⌝P∨Q∨⌝R)∧(⌝P∨R∨⌝Q)∧(⌝P∨R ∨⌝R)⇔(⌝P∨Q∨R)∧(⌝P∨Q∨⌝R)∧(⌝P∨⌝Q∨R)⇔4M∧5M∧6M使（非P析取Q析取R）为0所赋真值，即100，二进制为4⇔0m∨1m∨2m∨3m∨7m所以，公式(P→(Q∨R))∧(⌝P∨(Q↔R))为可满足式，其相应的成真赋值为000、001、010、011、111：成假赋值为：100、101、110。

真值表法：P Q R Q↔R P→(Q∨R)⌝P∨(Q↔R) (P→(Q∨R))∧(⌝P∨(Q↔R))0 0 0 0 0 1 0 1 0 0 1 1 111111111111111 0 0 1 0 1 1 1 0 1 1 1 11111111由真值表可知，公式(P→(Q∨R))∧(⌝P ∨(Q↔R))为可满足式，其相应的成真赋值为000、001、010、011、111：成假赋值为：100、101、110。

三、推理证明题（10分）1）⌝P∨Q，⌝Q∨R，R→S P→S。

证明：(1)P附加前提(2)⌝P∨Q P(3)Q T(1)(2)，I（析取三段论）(4)⌝Q∨R P(5)R T(3)(4)，I（析取三段论）(6)R→S P(7)S T(5)(6)，I（假言推理）(8)P→S CP2) ∀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))五、已知A、B、C是三个集合，证明(A∪B)－C＝(A－C)∪(B－C) （10分）证明：因为x∈(A∪B)－C⇔x∈(A∪B)－C⇔x∈(A∪B)∧x∉C⇔(x∈A∨x∈B)∧x∉C⇔(x∈A∧x∉C)∨(x∈B ∧x∉C)⇔x∈(A－C)∨x∈(B－C)⇔x∈(A－C)∪(B－C) 所以，(A∪B)－C＝(A－C)∪(B－C)。

离散数学AB卷离散数学黄金AB卷A卷一、选择题：（30分）1、取个体域为整数集，给定下列公式（1）∀x∃y（x*y=0）（2）∀x∃y（x*y=1）（3）∃y∃x（x*y=2）（4）∀x∀y ∃z（x – y = z）（5）x – y = - y + x（6）∀x∀y（x *y = y）（7）∀x（x*y = x）（8）∃x∀y（x + y = 2y）在上面的公式中，真命题的为 A ，假命题的为B 。

A：①（1）、（3）、（4）、（6）；②（3）、（4）、（5）；③（1）、（3）、（4）、（5）；④（3）、（4）、（6）、（7）B：①（2）、（3）、（6）；②（2）、（6）、（8）；③（1）、（2）、（6）、（7）；④（2）、（6）、（8）、（7）2、设S1=｛1，2，…，8，9｝，S2=｛2，4，6，8｝，S3=｛1，3，5，7，9｝，S4=｛3，4，5｝，S5=｛3，5｝。

确定在以下条件下X可能与S1,…,S5中哪个集合相等。

（1）若X∩S5 = φ，则A ；（2）若X⊆S4但X∩S2 = φ，则B ；（3）若X⊆S1但X⊄S3，则C ；（4）若X - S3= φ，则D ；（5）若X⊆S3但X⊄S1，则E ；A、B、C、D、E：①X=S2或者S3；②X= S4或者S5；③X=S1，S2或者S4；④X与其中任何集合都不等；⑤X=S2；⑥X=S5；⑦X=S3或者S5；⑧X=S2或者S4；3、（1）设S=｛1，2｝，R为S上的二元关系，且xRy。

如果R=Is，则A ；如果R是数的小于等于关系，则B ；如果R=Es，则C 。

（2）设有序对< x+2，4 > 与有序对<5，2x+y >相等，则x=D ，y=E 。

A、B、C：①x与y可任意选择1或2；②x=1，y=1；③x=1，y=1或2；x=y=2；④x=2，y=2；⑤x=y=1或x=y=2；⑥x=1，y=2；⑦x=2，y=1；D 、E ：⑧3；⑨9；⑩ -24、设S=<1，2，3，4>，R 为S 上的关系，其关系矩阵是⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡0001100000011001，则（1）R 的关系表达式是A ；（2）domR=B ；ranR=C ；（3）R R 中有D 个有序对；（4）R-1的关系图中有E 个环。

《离散数学》试卷（A 卷）一、 选择题（共5 小题，每题 3 分，共15 分）1、设A={1,2,3},B={2,3,4,5},C={2,3},则C B A ⊕⋃)(为(C )。

A 、{1,2}B 、{2,3}C 、{1,4,5}D 、{1,2,3}2、下列语句中哪个是真命题 ( A )A 、如果1+2=3，则4+5=9；B 、1+2=3当且仅当4+5≠9。

C 、如果1+2=3，则4+5≠9；D 、1+2=3仅当4+5≠9。

3、个体域为整数集合时，下列公式（ C ）不是命题。

A 、)*(y y x y x =∀∀B 、)4*(=∃∀y x y xC 、)*(x y x x =∃D 、)2*(=∃∃y x y x4、全域关系A E 不具有下列哪个性质（ B ）。

A 、自反性B 、反自反性C 、对称性D 、传递性5、函数612)(,:+-=→x x f R R f 是（ D ）。

A 、单射函数B 、满射函数C 、既不单射也不满射D 、双射函数二、填充题（共 5 小题，每题 3 分，共15 分）1、设|A|=4，|P(B)|=32，|P(A ⋃B)|=128，则|A ⋂B|=ˍˍ2ˍˍˍ.2、公式)(Q P Q ⌝∨∧的主合取式为 。

3、对于公式))()((x Q x P x ∨∃，其中)(x P ：x=1， )(x Q ：x=2，当论域为{0,1,2}时，其真值为ˍˍˍ1ˍˍˍ。

4、设A ＝{1,2,3,4}，则A 上共有ˍˍˍ15ˍˍˍˍ个等价关系。

5、设A ＝{a ，b ，c }，B={1,2},则|B A |= 8 。

三、判断题（对的填T ，错的填F ，共 10 小题，每题 1 分，共计10 分）1、“这个语句是真的”是真命题。

（ F ）2、“刚和小强是同桌。

”是复合命题。

（ F ）3、))(()(r q q p p ∧⌝∧→⌝∨是矛盾式。

（ T ）4、)(T S R T R S R ⋂⋅⊆⋅⋃⋅。

《离散数学》试卷(A)适用专业： 考试日期：试卷类型：闭卷 考试时间：120分钟 试卷总分：100分一、单项选择题(本大题共8小题，每小题3分，共24分)1、下述哪一个不是命题？（ ） A 、离散数学是计算机系的一门必修课 B 、不存在最大偶数。

C 、若我有空，我就看书。

D 、请勿随地叶痰！2、设A={a,b,c}，B={1,2,3}，以下哪一个关系是从A 到B 的双射函数？（ ） A 、f={<a,2>,<b,2>,<c,1>} B 、f={<a,3>,<b,1>,<c,2>} C 、f={<a,1>,<b,2>,<c,3>,<a,3>} D 、f={<a,1>,<b,2>,<a,3>}3.设<G, 。

>是群，且|G|>1,则下列命题不成立的是（ ）A.G 中有幺元B. G 中有零元C.G 中任一元素有逆元D. G 中除幺元外无其它幂等元 4、设A={}c b a ,,,则下列是集合A 的划分的是（ ） A.{}{}{}c c b ,, B. {}{}{}c a b a ,,, C.{}{}c b a ,, D.{}{}{}c b a ,, 5.设集合A={a,{b}}，下面四个命题为真的是A.a 包含于AB.φ∈AC.{b}包含于AD.φ包含于A 6、下列是命题公式p ∧(q ∨⌝r)的成真指派的是（ ） A.110,111,100 B.110,101,011 C 所有指派 D.无 7、与一阶公式P(x)→VxQ(x)等值的公式是A.P(y)→VyQ(y)B.P(y)→VxQ(y)C.P(x)→VyQ(y)D.P(z)→VyQ(y)8、设A 和B 都是命题，则A →B 的真值为假当且仅当（ ） A 、A 为0 ，B 为1 B 、A 为0 ，B 为0 C 、A 为1 ，B 为1 D 、A 为1 ，B 为0二、填空题（本大题共7小题，每空3分，共21分）１．.设A={a,b,c}，F 是A 上的二元关系，F={<a,c>,<b,a>,<c,b>}，则其自反闭包为r(F)= 。

学年第二学期期末考试《离散数学》试卷（ A ）使用班级：命题教师：主任签字：一、单项选择题(本大题共15小题，每小题1分，共15分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在题后的括号内。

1.一个连通的无向图G，如果它的所有结点的度数都是偶数，那么它具有一条( )A.汉密尔顿回路B.欧拉回路C.汉密尔顿通路D.初级回路2.设G是连通简单平面图，G中有11个顶点5个面，则G中的边是( )A.10B.12C.16D.143.在布尔代数L中，表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是( )A.b∧(a∨c)B.(a∧b)∨(a’∧b)C.(a∨b)∧(a∨b∨c)∧(b∨c)D.(b∨c)∧(a∨c)4.设i是虚数，·是复数乘法运算，则G=<{1,-1,i,-i},·>是群，下列是G的子群是( )A.<{1},·>B.〈{-1},·〉C.〈{i},·〉D.〈{-i},·〉5.设Z为整数集，A为集合，A的幂集为P(A),+、-、/为数的加、减、除运算，∩为集合的交运算，下列系统中是代数系统的有( )A.〈Z，+，/〉B.〈Z，/〉C.〈Z，-，/〉D.〈P(A)，∩〉6.下列各代数系统中不含有零元素的是( )A.〈Q，*〉Q是全体有理数集，*是数的乘法运算B.〈Mn(R),*〉,Mn(R)是全体n阶实矩阵集合，*是矩阵乘法运算C.〈Z，ο〉，Z是整数集，ο定义为xοxy=xy,∀x,y∈ZD.〈Z，+〉，Z是整数集，+是数的加法运算7.设A={1,2,3}，A上二元关系R的关系图如下：R具有的性质是A.自反性B.对称性C.传递性D.反自反性8.设A={a,b,c}，A上二元关系R={〈a,a〉，〈b,b〉,〈a,c〉}，则关系R的对称闭包S(R)是( )A.R∪I AB.RC.R∪{〈c,a〉}D.R∩I A9.设X={a,b,c},Ix是X上恒等关系，要使Ix∪{〈a,b〉，〈b,c〉，〈c,a〉，〈b,a〉}∪R为X上的等价关系，R应取( )A.｛〈c,a〉，〈a,c〉｝B.{〈c,b〉，〈b,a〉}C.{〈c,a〉，〈b,a〉}D.{〈a,c〉，〈c,b〉}10.下列式子正确的是( )A. ∅∈∅B.∅⊆∅C.{∅}⊆∅D.{∅}∈∅11.设解释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))12.设B是不含变元x的公式，谓词公式(∀x)(A(x)→B)等价于( )A.(∃x)A(x)→BB.(∀x)A(x)→BC.A(x)→BD.(∀x)A(x)→(∀x)B13.谓词公式(∀x)(P(x,y))→(∃z)Q(x,z)∧(∀y)R(x,y)中变元x( )A.是自由变元但不是约束变元B.既不是自由变元又不是约束变元C.既是自由变元又是约束变元D.是约束变元但不是自由变元14.若P：他聪明；Q：他用功；则“他虽聪明，但不用功”，可符号化为( )A.P∨QB.P∧┐QC.P→┐QD.P∨┐Q15.以下命题公式中，为永假式的是( )A.p→(p∨q∨r)B.(p→┐p)→┐pC.┐(q→q)∧pD.┐(q∨┐p)→(p∧┐p)二、填空题(每空1分，共20分)16.在一棵根树中，仅有一个结点的入度为______，称为树根，其余结点的入度均为______。

离散数学考试试题（A卷及答案）一、（10分）某项工作需要派A、B、C和D 4个人中的2个人去完成，按下面3个条件，有几种派法？如何派？(1)若A去，则C和D中要去1个人；(2)B和C不能都去；(3)若C去，则D留下。

解设A：A去工作；B：B去工作；C：C去工作；D：D去工作。

则根据题意应有：A→C⊕D，⌝(B ∧C)，C→⌝D必须同时成立。

因此(A→C⊕D)∧⌝(B∧C)∧(C→⌝D)⇔(⌝A∨(C∧⌝ D)∨(⌝C∧D))∧(⌝B∨⌝C)∧(⌝C∨⌝D)⇔(⌝A∨(C∧⌝ D)∨(⌝C∧D))∧((⌝B∧⌝C)∨(⌝B∧⌝D)∨⌝C∨(⌝C∧⌝D))⇔(⌝A∧⌝B∧⌝C)∨(⌝A∧⌝B∧⌝D)∨(⌝A∧⌝C)∨(⌝A∧⌝C∧⌝D)∨(C∧⌝ D∧⌝B∧⌝C)∨(C∧⌝ D∧⌝B∧⌝D)∨(C∧⌝ D∧⌝C)∨(C∧⌝ D∧⌝C∧⌝D)∨(⌝C∧D∧⌝B∧⌝C)∨(⌝C∧D∧⌝B∧⌝D)∨(⌝C∧D∧⌝C)∨(⌝C∧D∧⌝C∧⌝D)⇔F∨F∨(⌝A∧⌝C)∨F∨F∨(C∧⌝ D∧⌝B)∨F∨F∨(⌝C∧D∧⌝B)∨F∨(⌝C∧D)∨F⇔(⌝A∧⌝C)∨(⌝B∧C∧⌝ D)∨(⌝C∧D∧⌝B)∨(⌝C∧D)⇔(⌝A∧⌝C)∨(⌝B∧C∧⌝ D)∨(⌝C∧D)⇔T故有三种派法：B∧D，A∧C，A∧D。

二、（15分）在谓词逻辑中构造下面推理的证明：某学术会议的每个成员都是专家并且是工人，有些成员是青年人，所以，有些成员是青年专家。

解：论域：所有人的集合。

S(x)：x是专家；W(x)：x是工人；Y(x)：x是青年人；则推理化形式为：∀x(S(x)∧W(x))，∃x Y(x)∃x(S(x)∧Y(x))下面给出证明：(1)∃x Y(x) P(2)Y(c) T(1)，ES(3)∀x(S(x)∧W(x)) P(4)S( c)∧W( c) T(3)，US(5)S( c) T(4)，I(6)S( c)∧Y(c) T(2)(5)，I(7)∃x S((x)∧Y(x)) T(6) ，EG三、（10分）设A、B和C是三个集合，则A⊂B⇒⌝(B⊂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}，求x3y (x+y=4)的真值。

解：x3y (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 人至少乘坐过其中的两种。