中山大学离散期中考试试卷与答案.pdfVIP

《数理逻辑 》期 中考试试题 （2012年04月） (请将所有答案写在答题纸上，注意写清题号) 年级：2011级 专业：计算机科学与技术 任课教师：周晓聪, 江联 一、(9分)写出命题“如 果你努力尝试，那 么你会成功”的逆命题(converse)、逆否命题(contrapositive)和 否命题(inverse)。 解答：逆命题：“如果你会成功，那么你努力尝试 ”；逆否命题：“如果你没有成功，那么你没有 努力尝试 ”；否命题：“如果你不努力尝试 ，那么你不会成功” 二、(9分)给出公式(¬p → q) ∨ (q ∧ ¬r)的真值表 ，并判断公式的类型。 def 解答：设A = = (¬p → q) ∨ (q ∧ ¬r)，该公式的真值表如下： p q r ¬p ¬p → q ¬r q ∧ ¬r A F F F T F T F F F F T T F F F F F T F T T T T T F T T T T F F T T F F F T T F T T F T F T F F T T T F F T T T T T T T F T F F T 根据该真值表 ，这个公式是非永真式的可满足式。 三、(12分)使用命题变量p ：“系统处在 多用户状 态”、q ：“系统运行正常”、r ：“系统 内核正在工 作 ”、s：“系统处在 中断模 式”符号化下面 的系统规范：(1) 系统处在 多用户状 态 当且仅 当系统运行 正常；(2) 如 果 系统运行正常，则 系统 内核正在工作 ；(3) 系统 内核 没有工作 或者 系统处在 中断模 式；(4) 如 果系统不处在 多用户状态，则系统处在 中断模 式；(5) 系统处在 中断模 式。 说上述规范是一致 的(consistent)，如果存在对其 中命题变量 （即p, q, r, s ）的真值赋值 ，使得上 述规范 （符号化得到的命题 ）的真值都为真 。试判断上述规范是否是一致 的，并说 明理 由。 解答：上述规范可符号化如下：(1) p ↔ q ；(2) q → r ；(3) ¬r ∨ s；(4) ¬p → s；(5) s，该规范是 一致 的，因为当p, q, r, s 为的真值分别为TTTT, FFTT, 或FFFT时，这些规范的真值都为真 。 四、(9分)设个体变量x 的论域是所有学生构成 的集合 ，个体变量y 的论域是所有课程构成 的 集 合 ，且 谓 词M (y)表 示 “y是数 学课 程 ”、F (x)表 示 “x是 大 一 新 生”、B (x)表 示 “x是全日 制 学 生”、T (x, y)表示 “学生x学习课程y ”。使用这些谓词符号化下面 的命题：(1) 每个学生都 学 习某门 课程；(2) 有学生学习了所有课程；(3) 每个全日制的大一学生都学习某门数学课程。 解答：(1) ∀x∃yT (x, y)；(2) ∃x∀yT (x, y)；(3) ∀x∃y ((B (x) ∧ F (x)) → (M (y) ∧ T (x, y)))。 五、(11分)判断下面 的推理是否有效。如果是有效的推理，请将它符号化 ，并给出证 明序列加 以 验证 。如果不是有效的推理，请给出理 由。 李娟是数学专业或计算机专业学生；如 果李娟不懂 离散数学，那 么她 不是数学专业学生；如 果 李娟懂 离散数学，那 么她很聪明；李娟不是计算机专业学生。因此，李娟很聪明。 解答：设p表示 “李娟是数学专业学生”、q表示 “李娟是计算机专业学生”、r表示 “李娟懂离散 数学”、s表示 “李娟很聪 明”，上述推理可符合化为从前提p ∨ q, ¬r → ¬p,