离散数学(A卷)参考答案.pdfVIP

2007-2008学年 第2学期 期末考试试卷（A 卷） 参考答案及评分标准 1、 填空题（4小题，每空2分，共16分） n 25 5 1、2 2、T 3、2 ，52，5 ， 5！ 4、 ， 0 0 2、 1、× 2、√ 3、× 4、√ 3、 计算或简答题（5小题，共40分） 1、 在命题逻辑中把下列命题符号化（3小题，每题3分，共9分） （1）(PR)→Q 或 R→(P→Q) (2) Q→R (3) PQ 2、 在谓词逻辑中把下列命题符号化（3小题，每题3分，共9分） (1) 设R(x)：x是实数，Q(x)：x是无理数，则x(R(x)→Q(x))或 x(R(x)Q(x)) (2) 设R(x)：x是实数，L(x,y)：xy，则 xy(R(x)R(y)L(x,y)→L(x+2,y+2)) (3) 设N(x)：x是自然数，L(x,y)：xy，则 x(N(x)y(N(y)→L(x,y))) 或 x(N(x)→y(N(y)L(x,y))) 3、 (((PQ)P)→Q)R((PQ)→Q)R((PQ)Q)R(PQ)Q)RR [斟酌给0～3分] (PP)(QQ)R(PQR)(PQR)(PQR)(PQR) [斟酌给0～2分] 4、 x(xF(x)→yG(x,y,z))x(xF(x)yG(x,y,z))x(uF(u)yG(x,y,z)) xuy(F(u)G(x,y,z))[斟酌给0 ～5分] 或其它正确的方法。 5、 极大元有 {1,2},{1,3}, {2,3}， [斟酌给0～3分] 极小元 {1},{2},{3}， [斟酌给0～3分] 没有最大元和最小元。 [斟酌给0～6分] 4、 证明题（4小题，共36分） 1、 在命题逻辑中，构造下面推理的证明（5分） (1) D P(附加前提) (2)(AD) P (3) AD T(2) E (4) A T(1)(3) I [斟酌给0～2分] (5) A→BC P (6) BC T(4)(5) I (7) B T(6) I (9) C T(6) I [斟酌给0～2分] (10) C→B P (11) B T(9)(10) I (12) BB T(7)(11) I [斟酌给0～1分] 2、 在谓词逻辑中，构造下面推理的证明（5分） 每个大学生不是文科学生就是理工科学生，有的大学生是优等生，小张 不是理工科学生，但是他是优等生，因而如果小张是大学生，他就是文 科学生。 设P(x):x是大学生，Q(x):x是文科学生，R(x):x是理工科学生，H(x):x 是优等生，a:小张，符号化为： x(P(x)→Q(x)R(x)),x(P(x)H(x)),R(a),H(a)P(a)→Q(a) [斟酌给0～3分] 证明 (1) P(a) P(附加前提) [斟酌给0～1分] (2) x(P(x)→Q(x)R(x)) P (3) P(a)→Q(a)R(a) (2)US [斟酌给0～1分] (4) Q(a)R(a) T(1)(3) I[斟酌给0～1分] (5) R(a) P (6) Q(a) T(4)(5) I[斟酌给0～1分] (7) P(a)→Q(a) CP [斟酌给0～1分] 3、 （1）证明 x,yS×