离散15-nswer.docVIP

江苏技术师范学院20 —20 学年第 学期 《离散数学》试卷（15）参考答案与评分标准 一、选择题（本大题共5道小题，每小题2分，共10分） 1. 设个体域为正整数集，公式(x(y(xy=y)和(x(y(x+y=y)的真值分别是（ A ）。 A.0和0 B.0和1 C. 1和0 D. 1和1 2. 谓词公式，的辖域为 A B C D 4. 令p：今天下雨了，q：我上学，则命题“因为今天下雨了，所以我不上学了”可符号化为（?? A ?? ）。 A. B. C. D. 5. 以下不正确的是（）。A． B. C. D． 设F(x): x是无理数；G(x)：x可以表示成分数；则“无理数都不可以表示成分数”可符号化为： 。 Z是整数集合，代数系统Z，+的单位元是 0 。 集合A上的等价关系的三个性质是 自反性 、 对称性 和传递性。 5. 在布尔代数中，有,则该式的对偶式为 。 6. 无向树T有1个3度顶点, 2个2度顶点, 其余顶点全是树叶，则该无向树T的树叶数为： 3 。 7. 设K6是有个点的完全图，则K共有___________条边。x=b，则x=__ a-1b ______。 10. 已知集合A={(，，}，则A的幂集合(A)=__ {(，(}，{1}，(,1}，{(,2}，{1,2}，{(,1,2}} ____ __。 三、判断题（本大题共10道小题，每小题1分，共10分） （√）(({(}。 （×）设G是一棵树，n,m分别表示结点数和边数，则n=m。 （√）xA(x)xA(x)。 （√）是重言式。 （×）在自然数集N 上定义二元运算*：a*b=a+2b，*满足结合律。无向图，其中，为树当且仅当无回路A是一集合，|A|=20，则A的幂集P(A)的基数|P(A)| =220-1。 （√）A={3,6,9}，A上二元运算*定义为：a*b=min{a,b}，则A,*中单位元是9。 （×）对集合A,B,C,D，有（AB）(CD)=(AC)(BD)。 10.（√）集合A={a,b,c}及其上的二元关系R={b,c,c,b}，则R具有自反性和对称性。 四、证明题（本大题共3道小题，每小题8分，共24分） 1.设9阶无向图的每个顶点的度数为5或6, 证明它至少有5个6度顶点或者至少有6个5度顶点。 证明：　　　　　　　　　　　　　　　　　　（8分） 方法一 讨论所有可能的情况. 设有a个5度顶点和b个6度顶点 (1)a=0, b=9; (2)a=2, b=7; (3)a=4, b=5; (4)a=6, b=3; (5)a=8, b=1 (1)~(3) 至少5个6度顶点, (4)和(5) 至少6个5度顶点 方法二 假设b5, 则a 9-?5=4. 由握手定理的推论, a=6 2.在命题逻辑中符号化下述命题，并构造推理的证明。 若明天是星期二或星期五，张老师就有课。若有课，张老师今天必须备课。张老师今天没备课。所以，明天不是星期二和星期五。 解：设p:明天是星期二,q:明天是星期五，r:张老师有课，s:张老师备课（2分） 前提: (p?q)?r, r?s, ?s 结论: ?p??q 　　　　　　　　　　　　　　（2分） 证明： ① r?s 前提引入 ② ?s 前提引入 ③ ?r ①②拒取式 ④ (p?q)?r 前提引入 ⑤ ?(p?q) ③④拒取式 ⑥ ?p??q ⑤置换 结论有效, 即明天不是星期二和星期五。　　　（4分） 3.在谓词逻辑中符号化下述命题，并构造推理的证明。 哲学家都善于思考。亚里士多德是哲学家。所以，亚里士多德善于思考。 证明：令F(x)：x是哲学家，G(x)：x善于思考，a：亚里士多德，（2分） 前提：?x(F(x)(G(x))，F(a) （2分） 结论：G(a) 推演： (1)F(a) 前提引入 (2)?x(F(x)(G(x)) 前提引入 (3) F(a)(G(a) (2)UI (4)G(a) (1)(3)假言推理 （4分） 4.设A1、A2、A3是三个集合，证明：A1(A2－A3)＝(A1A2)－(A1A3)