- 279
- 0
- 约2.81万字
- 约 44页
- 2020-09-10 发布于天津
- 举报
* *
离散数学试题(B卷答案1)
一、证明题(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)
∨m∨m∨m m?7210∨M∨M∨M M?6543三、推理证明题(10分)
1) C∨D, (C∨D)? ?E, ?E?(A∧?B), (A∧?B)?(R∨S)?R∨S
证明:(1) (C∨D)??E P
B) P
E(2) ??(A∧?(3) (C∨D)?(A∧?B) T(1)(2),I
(4) (A∧?B)?(RP
∨S)
(5) (C∨, T(3)(4) I
D)?(R∨S)
(6) C∨D P
(7) R∨S T(5),I
2) ?x(P(x)?Q(y)∧R(x)),?xP(x)?Q(y)∧?x(P(x)∧R(x))
P
xP(x) ?(1)证明
* *
(2)P(a) T(1),ES
(3)?x(P(x)?Q(y)∧R(x)) P
(4)P(a)?Q(y)∧R(a) T(3),US
(5)Q(y)∧R(a) T(2)(4),I
(6)Q(y) T(5),I
(7)R(a) T(5),I
(8)P(a)∧R(a) T(2)(7),I
(9)?x(P(x)∧R(x)) T(8),EG
(10)Q(y)∧?x(P(x)∧R(x)) T(6)(9),I
四、某班有25名学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球。而6个会打网球的人都会打另外一种球,求不会打这三种球的人数(10分)。
解:A,B,C分别表示会打排球、网球和篮球的学生集合。则|A|=12,|B|=6,|C|=14,|A∩C|=6,|B∩C|=5,|A∩B∩C|=2。
先求|A∩B|。
∵6=|(A∪C)∩B|=|(A∩B)∪(B∩C)|=|(A∩B)|+|(B∩C)|-|A∩B∩C|=|(A∩B)|+5-2,∴|(A∩B)|=3。
于是|A∪B∪C|=12+6+14-6-5-3+2=20。不会打这三种球的人数25-20=5。
五、已知A、B、C是三个集合,证明A-(B∪C)=(A-B)∩(A-C) (10分)。
证明:∵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| x,y?N∧y=x},S={x,y| 2 x,y?N∧y=x+1}。求R、R*S、S*R、R{1,2}、S[{1,2}](10分)。 -1解:R={y,x| x,y?N∧y=x} 2-1R*S={x,y| x,y?N∧y=x+1}
2 },S*R={x,y| x,y?N∧y=(x+1)R{1,2}={1,1,2,4},S[{1,2}]={1,24}。
七、设R={a,b,b,c,c,a},求r(R)、s(R)和t(R) (15分)。
解:r(R)={a,b,b,c,c,a,a,a,b,b,c,c}
c}
,a,b,
您可能关注的文档
最近下载
- 020——《山经》河水下游及其支流考.pdf
- 新人教版小学六年级数学上册教学课件(全册).pptx VIP
- 安徽A10联盟2026届高三2月学情检测(开年考)数学试卷(含答案解析).pdf
- 中考语文 作文天津中考作文真题分析.pdf VIP
- 教学评一致性的研究.doc VIP
- DB23T1501-2013 水利堤(岸)坡防护工程格宾与雷诺护垫施工技术规范.pdf VIP
- 2025年学历类自考专业(国贸)国际商务英语-外贸英语写作参考题库含答案解析.docx VIP
- 智慧停车安全培训课件.pptx VIP
- 农村会计试题及答案解析.docx VIP
- 癌症患者生活质量量表EORTC QLQ-C30.docx VIP
原创力文档

文档评论(0)