1 / 5 湘潭大学 2008 年 上学期 2007 级《离散数学》课程考试试卷(A 卷答案)适用年级专业计算机、网络工程、软件工程考试方式闭卷考试时间120 分钟学院信息工程学院专业班级学号姓名题号一二三四五六七八总分阅卷教师得分⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一、选择题(每小题2 分,共 30 分)1、设 A、B 和 C是任意三个集合,并且AB=AC,则( C )A
B和 C的关系无法确定2、若 R 是传递的,则( A )
r(R)是传递的B
r(R)不是传递的C
r(R)可能是传递的,也可能不是传递的3、设论域为整数集,谓词0:),(yxyxF
以下为真命题的是( B )
),())((yxFxy; B
),())((yxFyx; C
),())((yxFyx; D
),())((yxFyx
4、下面的命题公式中,重言式是( B )
)()(PQQP; B
)()(PQQP;C
)()(QPQP D
5、任何集合与其真子集均( C )
等势 ; B
不能等势 ; C
无法确定6、下面 ( B )是极小项
Q P 7、),,(),(zxQyxxP公式使用改名规则后 ,所得到的谓词公式为 ( B )
),(),(zuQyxxPB
),(),(zxQyuuP得分制卷人签名:制卷日期:审核人签名::审核日期:⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯装⋯⋯⋯⋯⋯⋯⋯⋯订⋯⋯⋯⋯⋯⋯⋯⋯线⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯2 / 5 C