02离散数学A卷1.docVIP

湖北工学院二OO三 —二OO四学年第二学期期末考试 离散数学(A 卷) 试题 （02级信计 专业用） 一 二 三 四 五 六 七 八 九 十 十一 总分 注意：学号、姓名和所在年级班级不写、不写全或写在密封线外者，试卷作废。 填空题（每小题2分，共10小题，满分20分） 已知p,q的真值为1，r的真值为0，则命题的真值为_______________。 设个体域，是谓词，则。 设，则用列元素法表示集合。 设，则。 设，则R逆关系。 设 则。 设Q是有理数集，*是通常的乘法运算，则对代数，元素的逆元是______________。 设是偏序集，如果都有最小上界和最大下界，则称S关于偏序作成______________ 。 设T是一棵树，结点数为n，边数为m，则____________　　　　_。 若根树T的每个分支点均恰好有r个儿子，则称T为_______________。 二、（8分）求的主析取范式，并指出它的成真赋值。 三、（12分）形式证明：推得， （2）前提：，结论：。 四、（6分）已知求。 五、（8分）自然数集N上的二元关系定义为 证明：R是N上的等价关系； 写出N关R导出的等价类。 六、（8分）设是整除关系 1、画出偏序集的哈斯图； 2、写出A