离散11-a.docVIP

江苏技术师范学院20 —20 学年第 学期 《离散数学》试卷（11）参考答案及评分标准 一、单项选择题（本大题共10道小题，每小题2分，共20分） 设A={1,2,3},B={1,2,3,4,5},C={2,3}, 则() - C =（ C ）。A.{1,2} B.{2,3} C.{1,4,5} D.{1,2,3} A={3,6,9}，A上二元运算*定义为：a*b=min{a,b}，则A,*中单位元是( C )。A. 3 B. 6 C.9 D.1 A={1,2,3},A上关系R={(1,1),(1,2),(3,1)}，R的自反闭包为（ B ）。A. {(1,1),(1,2),(3,1)} B.{(1,1),(1,2),(3,1),(2,2),(3,3)} C. {(1,1),(2,2),(3,3)} D.{(1,1),(1,2),(3,1),(2,1),(1,3)} 下列命题公式矛盾式　　　　　　　　　　B. C.　　　D. 设Q(x)：x是有理数(x)：x是整数；则命题“有的有理数是整数A. B. C. D. 二、填空题（本大题共10空，每空2分，共20分） 公式的成真赋值为 000，010，100，001，011，101，111 。 若连通的简单图中所有结点的度数 为偶数 ，则该图一定是欧拉图。 设S={2,4,5,7,11}，S上二元运算定义为：ab=min{a,b}，则S,的单位元是 2 。 无向图有6条边，3度与5度顶点各1个，其余都是2度顶点，该图有 4 个顶点。 设S={1,2,3,4}，A上关系R={1,2,2,1,2,3,3,4｝，则R-1= {1,2,2,1,3,2,4,3｝ 。 6. 。 7. 设〈S,〉是一个群，若a,b,x∈S，ax=b，则x= a-1b 。 8. 设F(x)：x在常州工作；G(x)：x是常州人， 则命题“在常州工作的人未必都是常州人”可符号化为： ﹁?x(F(x) →G(x)) 或 ?x(F(x)∧﹁G(x)) 。 偏序关系是指：满足 自反性、反对称性和传递性 的关系。 谓词公式?x F(x)∧?x G(x)的前束范式为 ?x(F(x)∧G(x) ) 。 三、判断题（本大题共10小题，每小题1分，共10分） 正确的打“√”，错误的打“×” （√）。 （√）A,B都是无限集，A-B未必是空集。 （√）设A∩B=A∩C，∩B=∩C，则B=C。 （√）阶无向树不是哈密尔顿的辖域为设：天下雨，：我骑车上班只有天不下雨，我才骑车上班。 （√）是矛盾式是重言式。 （×）“x+5＞3”是命题。 四、证明题（本大题共4小题，第1小题6分，第2-4小题各8分，共30分） 设A、B、C是三个集合，证明：AB=A(B-A) 证明：A(B-A)= A(B)=(AB) ( A)=A-B （6分） 在命题逻辑中符号化下述命题，并构造推理的证明。 如果小张守第一垒并且小李向B队投球，则A队获胜。或者A队未获胜，或者A队成为联赛的第一名。小张守第一垒。A队没有成为联赛的第一名。因此小李没有向B队投球。 解：先将简单命题符号化。P：小张守第一垒；Q：小李向B队投球；R：A队取胜；S：A队成为联赛第一名。前提：(PQ)→R，R∨S，PS 结论：Q （2分） 证明：(1) R∨S 前提引入S 前提引入R (1)(2)析取三段论前提引入(P∧Q) (3)(4)拒取式P∨Q (5)置换前提引入Q (6)(7)析取三段论 F(x): x是三角形, G(x): x内角和为180度, a: △ABC （2分） 前提：(x(F(x)→G(x))，F(a) 结论：G(a) （2分） 证明：① F(a) 前提引入 ② (x(F(x)→G(x)) 前提引入 ③ F(a)→G(a) ②UI ④ G(a) ①③假言推理 （4分） 4．整数集Z上的二元运算*定义为：a,bZ，a*b=a+b-2。试证：Z,*为群。 证明：（1）a,b,cZ，(a*b)*c=(a*b)+