数理逻辑与集合论—参考试卷解答.pdfVIP

暨 南 大 学 试 卷 答 案 2014 – 2015 学年度第 1 学期 课程类别 必修[√ ] 选修 [ ] 教 课程名称： 数理逻辑与集合论 师 考试方式 填 开卷 [ ] 闭卷[√ ] 授课教师姓名：____周密____ 写 试卷类别 考试时间: 2015 年 1 月 20 日 [ ] 共 9 页 得分 评阅人 一、填空、选择题（15小题，每题2分，共30分） 1. 真 2. 设 P:2+2=5， Q:地球是静止不动的， P → Q; 真值为：假 36 30 3. 2 ，2 4. xy(T(x)C(y)F(x,y)) 5. 并非所有的智能工作都能由计算机来完成。 P P P Q Q Q 6. ( (1) (2) (3)) ( (1) (2) (3)) 7. 大华的孩子 8. 极大元：e,f; 极小元：a,最大元：无，最小元：a 9. A{x,y}{{x,y},} A{}{{x,y},x,y} {{x,y}}A  A 10.E 11. A 12. D 13. （a）V, VI, XI （b）II, IV, VII, IX （c）I, III, VIII 14.自反性、对称性、传递性 15.C、D 得分 评阅人 二、逻辑谬误辨析（6小题，每小题2分，共12分） 第 1 页 共 5 页 暨南大学《数理逻辑与集合论》试卷 考生姓名： 学号： 1. 夸张、歪曲，甚至凭空创造对方的观点，使自己能够更加轻松地攻击对方。 2. 不讨论现下的事物，而过分推演对方论点以致荒谬 3. 不能证伪一个事物，或者举出反例，并不能证明这个事物的合理性。 4. 在大量的数据/证据中小心的挑选出对自己的观点有利的证据，而不使用那些 对自己不利的数据/证据。 5. 采用循环论证的方法来证明一个被包含在前提里面的观点。 6. 在提出问题的时候加入了诱导的成分，使得对方只能按着你的意思来回答。 得分 评阅人 三、简答题（5小题，每小题4分，共20分） 1. 解答： (1) (PQ)(PQ)mm 1 2 (2) 主合取范式为M M  0 3 2. (1) 一个是空集，一个仅含有∅这个元素的集合。 (2) 若 A = ∅，仅能构造一个空函数，故 BA = {∅} ；若 B = ∅，A ≠ ∅，A 中 的元素无法在B 中找到元素对应，无法定义任何函数，故BA = ∅ 3. 如果 A 是不可数集合，B 是可数集合，那么 A –B 一定不可数吗？简要描述你 的推理过程，仅仅给出正确结论者只得 1 分。 答：一定不可数。假设A-B 可数，又因为B 可数，则A 中所有元素可以由A-B, B 两个可数集合中的元素轮流枚举，则 A 可数，与前提矛盾。故假设不成立，A-B 一定不可数。 4. （1）对称 （2）自反、传递 (3) 对称