2010级离散数学(I)A卷参考答案.docxVIP

北 京 化 工 大 学 试 卷 2004.6 离 散 数 学（参考答案） 一、填空题（共10分，每小题2分） 1.?xF(x)→?yG(y,z)的前束范式是 ?x?y(F(x)→?yG(y,z) ) 。 2.(p→q)∨p 是（永真/永假/可满足） 永真 式。 3.设全集 E={1,2,3,4,5,6}，其子集 A={1,4},B={1,2,5}，则 A∩~B= {4} 。 4.设集合 M={a,b,c,d,e}，则 M 上一共有 52 个不同的等价关系。 5.设 f：N×N→N，f (x,y) = x+y+1，令 A={x,y | x,y∈N 且 f (x,y)=3}，则 A 的列举法表示为