暨南大学离散数学周密试卷数理逻辑与集合论—参考试卷.docxVIP

暨 南 大 学 考 试 试 卷 2010 – 2011 学年度第 2 学期 课程类别 教 必修[√] 选修 [ ] 课程名称： 数理逻辑与集合论 师 考试方式 填 授课教师姓名： ____周密 ____ 开卷[ ] 闭卷[√ ] 写 试卷类别 考试时间 :____2011_____ 年 7月 6 日 [ A] 共 9 页 考 生 电气信息 学院(校) 专业 班( 级) 填 写 姓名 学号 内招 [ √] 外招[ ] 题 号 一 二 三 四 五 六 七 八 九 十 总 分 得 分 得分 评阅人 一、填空题（共 10 小题，每小题 2 分，共 20 分） 设命题 p：罗素悖论的真值为假， q：暨南大学的校训是信敏廉毅， r ：离散数学是计算机科学不可分割的一门基础课程，则复合命 题 : p q r q p r p 的 真 值 为; 下列各式中为永真式的有： (1) ( P (P Q )) Q (2) ( P Q) Q (3) P (P Q) (3) ( P (P Q)) Q (5) Q ( P Q) A 是个 10 元集合， B 是个 2 元集合，则集合 BA 中元素的个数为 设 M(x) ：x 是人， C(x) ：x 很聪明，则命题：“尽管有人很聪明，但未必一切 人都聪明。”可符号化为： 5. 设  R(x)  ：  x  是实数；  L(x