1 / 5 湘潭大学 2008 年 上学期 2007 级《离散数学》课程考试试卷（A 卷答案）适用年级专业计算机、网络工程、软件工程考试方式闭卷考试时间120 分钟学院信息工程学院专业班级学号姓名题号一二三四五六七八总分阅卷教师得分⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一、选择题（每小题2 分，共 30 分）1、设 A、B 和 C是任意三个集合，并且AB=AC，则（ C ）A. CB B. BCC. B=C D. B和 C的关系无法确定2、若 R 是传递的，则( A ). A. r(R)是传递的B. r(R)不是传递的C. r(R)可能是传递的，也可能不是传递的3、设论域为整数集，谓词0:),(yxyxF。以下为真命题的是（ B ）。 A.),())((yxFxy; B.),())((yxFyx; C.),())((yxFyx; D.),())((yxFyx. 4、下面的命题公式中，重言式是（ B ）。 A.)()(PQQP； B. )()(PQQP；C.)()(QPQP D.QPP. 5、任何集合与其真子集均（ C ）。 A.等势 ; B. 不能等势 ; C. 无法确定6、下面 ( B )是极小项。A. PQ B. PQ C. P Q D. Q P 7、),,(),(zxQyxxP公式使用改名规则后 ,所得到的谓词公式为 ( B ). A.),(),(zuQyxxPB.),(),(zxQyuuP得分制卷人签名：制卷日期：审核人签名：：审核日期：⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯装⋯⋯⋯⋯⋯⋯⋯⋯订⋯⋯⋯⋯⋯⋯⋯⋯线⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯2 / 5 C.),(),(zuQyxuPD.),(),(zxQuxxP8、设集合 A={a,b,c,d},B={1,2,3,4},则从 A到 B的函数f={
,,,}是（ D）A. f是双射函数 B. f是入射函数C. f是满射函数 D. f即不是满射又不是入射函数9、下列蕴含式为真的是（ B ）A.)()())()((xxBxxAxBxAx B.))()(()()(xBxAxxxBxxAC．))()(())()((xBxAxxxBxAx D.)()())()((xxBxxAxBxAx10、设是 A 到 B 的映射，是 B 到 C的映射，是双射，则（ B ）A. 是满射，是单射 B．是单射，是满射C．是满射，也是满射 D．是单射，也是单射11、设集合 S 是集合 Q的子集， Q是可数集，则（ B）。A. S 必是不可数集 B. S必是可数集 C. S可能是可数集，也可能是不可数集12、设 A={1 ，2，3，4，5}，A 上二元关系 R={ 〈1，2〉，...
