数理逻辑期中考试试题(2007年5月)教案.pdfVIP

《数理逻辑 》期 中考试试题 （2007年5月） (请将所有答案写在答题纸上，注意写清题号) 年级：2007级 班级：A, B班 专业：计算机科学与技术 任课教师：周晓聪 一、判断下列语句那哪些是命题 ，哪些不是命题 ？（每题1分，共8分） (1) 考试作弊不会被授予学位 。 (2) 北京在2008年举办奥运会。 (3) x + y 10 (4) 火星上存在生命。 (5) 你为什么迟到？ (6) 今天天气真热啊！ (7) 中国是一个人 口众多、地大物博 的国家。 (8) 年收入超过十二万元的人要主动 申报个人所得税 。 二、 指 出下列句子 中的原 子命题 ，并依 次用p, q, r 表 示，然后将整个句子符 号化 （每题3分， 共24分）： (1) 张三身体好 ，学习也好. (2) 四边形ABCD是平行 四边形，仅当其对边平行. (3) 明天小张去演 出，或者 明天小李去演 出. (4) 选张三或李四中的一人当厂长. (5) 我既不游泳 ，也不去打球 ，我做作业. (6) 郑州在广州与北京之间. (7) 尽管她学习成绩不太好,但她 的动手能力很强. (8) 如果天下雨，地就湿 ；否则，地就不湿. 三、列出下列公式的真值表 ，并判断公式的类型 （即是永真式 、非永真式 的可满足式还是矛盾 式）。注意在列真值表时表列必须列出子公式，表行必须按照二进制编码顺序 （每题4分，共12分）： (1) (p → q) ∧ (¬p → ¬q) (2) (p → q → r) → (p → q) ∨ (q → r) (3) (p → (q ∧ r)) ↔ ((p ∨ q) → r) 四、使用等值演算方法求解下列题 目 （每题4分，共12分）： (1) 证 明等值式(p → (q → r)) ⇔ (q → (p → r))； (2) 定义联结词↓为，对任意的p, q ，p ↓ q ⇔ ¬(p ∨ q)。请将公式(p ∧ q ∧ r) ∨ (p ∧ ¬q ∧ r)化简并 求其只含联结词↓的等值公式 ； (3) 将公式(p ∧ q) ∨ (p ∧ r)化成与之等值 的且仅含联结词¬和→的公式。 五、求解下面与范式及主范式有关的题 目 （每题4分，共16分）： (1) 使用等值演算方法求公式(p → r) ∧ q 的析取范式 ； (2) 使用等值演算方法求公式(¬p → ¬q) ∨ r 的合取范式 ； (3) 使用等值演算方法求公式(¬p → q) → (¬q ∨ p )的主析取范式和主合取范式 ； 1 (4) 使用列真值表 的方法求公式(p → (q ∧ r)) ↔ ((p ∨ q) → r)的主析取范式和主合取范式。 六、四个代表队甲、乙、丙和丁进行 比赛 ，观众A,B和C对 比赛 的胜负问题进行猜测：A说 “甲只 能取第三 ，丙是冠军”；B说 “丙只能取第二，乙是第三 ”；C说 “丁取第二，甲是第一 ”。比赛结束之 后 ，对照真正的名次，发现他们都只猜对 了一半，请使用命题逻辑 的等值演算确定 比赛的名次到底 是怎样的。（7分）。 七、在 自然推理系统 中证明下述推理的正确性 （每题5分，共15分）： (1) p → q, ¬q ∨ r, ¬r, ¬(¬p ∧ s) ¬s (2) (p ∨ q) → (r ∧ s), (s ∨ t) → w p → w (3) p → ¬q, ¬r ∨ q, r ¬p 八 、在 自然推理系统 中证明下面推理的有效性 （6分）： 如 果上帝不能阻止邪恶，他就不是万能的；如 果上帝不愿意阻止邪恶，那 么他就不是仁 慈的。只 有 当上帝或者不愿意或者不能阻止邪恶时，邪恶才能存在。如 果上帝存在，那 么他既是万能的也是 仁 慈的。邪恶是存在 的。所以，上帝并不存在。 2 《数理逻辑 》期 中考试参考答案 （2008年4月） 一 、判断下列语句