27级离散数学IA卷参考结果解析.docVIP

北 京 化 工 大 学 试 卷 2004.6 离 散 数 学（参考答案） 一、填空题（共0分，每小题分） .(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的列举法表示为A= {1,1,2,0,0,2} 。 二、判断题（共0分，每小题分） . 设X={a,b,c,d}，Y={ 1,2,3}，f={a,1,b,2,c,3}，则f 是从X 到Y 的二元关系，但不是从X 到Y 的函数。 ( × ) 2.已知A和B为两个集合，且AB，则A( B一定为假。 ( √ ) 3.设p,q,r,s为命题公式，如果p ( q且r ( s，则p∧r ( q∧s。 ( × ) 4.一个谓词公式，如果量词均出现在全式的开头，则称该谓词公式为前束范式。 ( √ ) 5. 设R是A上的自反关系，且当a,b∈R和a,c∈R时，必有b,c∈R，则R是A上的等价关系。 三、（共0分，每小题2分）1.设个体域为整数集，P(x,y)：x+y = 1，Q(x,y)：x×y 0，下列命题为真的是（ A ）。 A、(x( y P(x,y) B、( x(yP(x,y) C、(x( y Q(x,y) D、( x(yQ(x,y) 2.设R是集合A上的自反关系，则下列叙述中不成立的是（ C ）。 A、R(R-1一定是A上的自反关系 B、R(R-1一定是A上的对称关系 C、R(R-1一定是A上的传递关系 D、仅有A和B是正确的 3.下列命题真值为真的是（ A ）。 A、23当且仅当57 B、23当且仅当57 C、2+2≠4与4+4=8互为充分必要条件 D、如果π 无理数，则3也是无理数，反之亦然 4. 下列每组两个集合中相等的一组集合是（ A ）。 A、A={3,1,1,5,5}，B={1,3,5} B、A=(，B={(} C、A=(，B={x | x∈N且x是偶素数} D、A={1,2,(}，B={1,2,{(}} 5. 在谓词演算中，若谓词公式中含有自由变元，则不能被使用的规则是（ C ）。 A、US规则 B、UG规则 C、ES规则 D、EG规则 四、计算题p∧q)∨(~p∧r)的主析取范式和主合取范式。 解：求解过程（4分） p q r p∧q ~p∧r (p∧q)∨(~p∧r) 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 主析取范式（3分）：(p∧q)∨(~p∧r) (m1∨m3∨m6∨m7((~p∧~q∧r)∨(~p∧q∧r)∨(p∧q∧~r)∨(p∧q∧r) 主合取范式（3分）：(p∧q)∨(~p∧r)(M0∨M2∨M4∨M5=(p∨q∨r)∧(p∨~q∨r)∧(~p∨q∨r)∧(~p∨q∨~r) 2．设A={a,b,c,d,e,f }，R是A上的二元关系，其关系定义如下： R={ a,b , b,c , c,a , e,f , f,e } 求最小自然数s和t，使得s t 且 Rs=Rt。 解：求解过程（6分） R={ a,b , b,c , c,a , e,f , f,e } R2={ a,c, b,a , c,b , e,e ,f,f } R3={ a,a, b,b , c,c , e,f , f,e} R4={ a,b, b,c , c,a , e,e , f,f } R5={ a,c, b,a , c,b , e,f , f,e } R6={ a,a, b,b , c,c , e,e , f,f } （4分）因此有：R6=IA= R0 即：s =0，t=6 3．如图为偏序集X,≤的哈斯图。 （1）给出X和≤的集合表示（6分）； （2）a,b,c,d,e,f } X ={a,b ,a,c ,a,d ,a,e ,a,f ,b,e ,c,e ,c,f ,d,f }∪IX 极大元e,f ，极小元a，最大元不存在，最小元a 五、题x(~P(x)(Q(x))，(x(Q(x)( ~R(x))，(xR(x) 结论：(xP(x) 解： （