05-06(2)《离散数学》期末考试试卷(A).docVIP

PAGE PAGE 1 北 京 交 通 大 学 2005 -2006 学年第二学期《离散数学（B）》期末考试试卷(A) 一、判断题（每题1.5分） (1)“x+1=0”是命题。( (2) 设p，q是两个命题，若p为假，q为真，则为真。( ) (3) ( ) (4) ( ) (5) 集合A上的一个关系，如果是对称的和传递的，就一定是自反的。( ) (6) A上的恒等关系既是A上的等价关系也是A上的偏序关系。( ) (7) 关系是映射。( ) (8) ( ) 二、填空题（每小题3分） (1) 设p:小王走路，q:小王听音乐，则在命题逻辑中，命题“小王边走路边听音乐”的符号化形式为( )。 (2) 设F(x):x是人，D(x,y):x与y不同，H(x,y):x与y一样高，在一阶谓词逻辑中，命题“不是所有人都一样高”的符号化形式为( )。 (3) A,B是有限集合， P(A)表示A的幂集，已知：|A|=3，|P(B)|=64，|P(A∪B)|=256， 则|B|=( )，|A∩B|=( )，( )。 (4)设( ) 个。 三、(10分) 求公式 的主析取范式和主合取范式(写过程)，并判断公式的类型。 四、（10分）求公式 的前束范式。 五、（10分）设A={1，2，……，12}，R是A上的整除关系，B＝{1,2,3,4,5,6}。 (a) 画出R的哈斯图； (b) 求B的极大元、极小元、最大元、最小元； 求{2,3}，{2,4}的上界、上确界、下界和下确界。 六、(10分) 设A中的关系R定义为： 证明R是等价关系，并求R确定的对集合A的划分。 七、（10分）构造下面推理的证明，要求写出前提、结论和证明过程。 八、（20分）构造下面推理的证明。要求先将命题符号化，然后分别写出前提、结论和证明过程。 每个实数不是有理数就是无理数。有理数能表示成分数。并不是所有的实数都能表示成分数。所以，有的实数是无理数（个体域为数）。