04级计算机专业离散数学练习题.pdf

04级计算机专业离散数学练习题 （叶绿 潘志刚） 一．判断题  (       )1.对任意的命题公式 A , B , C ,  若  A Ÿ C ¤ B Ÿ C ,  则 A ¤ B ；  (       )2.(  x) （P(x)→Q(x)）  (  x)P(x)→(  x)Q(x)；  (        )3.在命题逻辑中，任何命题公式的主合取范式都是存在的，并且是唯一 的；  (       )4. （ÿp⁄ÿq）Æ(pÆÿq)不是重言式；  (       )5.命题函数是命题。  (       )6.若 P （A）为 A 的幂集，则 P （A«B）= P （A）«P （B）；  (       )7.设 A，B，C是 Q 的子集，则有 A¥(BC) （A¥B） （A¥C）；  2  (       )8.若 R 为集合 A上的非对称关系，则 R  亦然。  (        )9.存在一种建立在某个集合上的关系，它可以是对称的、反对称的、自 反的、反自反和可传递的。  (       )10.一个集合的最大元一定存在而且唯一；  (       )11.孤立节点既是极小元又是极大元；  R  A  s ( R ), t ( R )  R  (  )12.设  是  上的关系，  分别表示  的对称和传递闭包，则  ts ( R ) Õ st ( R )  ；  (  )13.  设 A上的恒等关系 I， 它既是 A上的等价关系也是A上的偏序关系；  (       )14.  若偏序集 〈A，£〉，A 中的所有元素都能排成 a1£ a2£ a3£ ……的形 式，则偏序集〈A，£〉是一个全序集，并只存在一条反链；  (       )15.设 x,y是集合 A 的两种不同划分，则 x­y 也是集合 A 的一种划分；  (       )16.如果代数结构A,*的集合中有单位元，并且运算时可结合的，则集 合中的任意元素必有唯一逆元；  (       )17.如果代数结构A,*是一个群，则集合 A 中的幂等元就是单位元；  (       )18.哈密尔顿图是平面图；  (       )19.设是非连通平面图  G  的对偶图中的顶点数，边数和面数，则它们之 间不满足欧拉公式；  (       ) 20.设无向图 G 具有割点，则 G 中一定不存在汉密尔顿回路；  (       ) 21.连通图 G 的任一边一定为图G 的某一边割集中的一条边；  (       )  22.仅一个结点的入度为零，而其它所有结点的入度都为 1 的有向图是 根树；  (       ) 23.有 n个 （n2）结点的简单无向图中，一定没有两个结点的度数相同；  (       ) 24.有向图 G 是单侧连通； （G）  (       ) 25.  图（a），（b），（c）同构； （a）  (b)                         (c)  二.选择 1. 设P：我将去市里，Q：我有时间。命题 “我将去市里，仅当我有时间时”符 号化为( )  ( A ) QÆ P  ( B ) P Æ Q  ( C ) P ´ Q  ( D ) ÿP ⁄ ÿQ  G = ( Q Æ P ) Ÿ ( ÿP ⁄ Q ）  2、设命题公式 ，则G 是（ ）。  (A)永真的  (B)永假的  (C)可满足的  (D)析取范式  3、下列四个命题中哪些命题上等价的(      )  1)  如果地上有水，则天上下雨  2)  如果天上下雨，则地上有水  3)  如果地上没有水，则天上不下雨  4)  如果天上不下雨，则地上没有水  (A)  1)与4)