秋作业(任务)：数理逻辑部分综合.docVIP

★ 形成性考核作业 ★ PAGE  PAGE 5 姓 名： 学 号： 得 分： 教师签名： 离散数学作业7 离散数学数理逻辑部分形成性考核书面作业（参考答案） 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。 要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求2010年12月19日前完成并上交任课教师（不收电子稿）。并在07任务界面下方点击“保存”和“交卷”按钮，以便教师评分。 一、填空题 1．命题公式的真值是 ． 解 答 1或T 2．设P：他生病了，Q：他出差了，R：我同意他不参加学习．则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为 ． 答 3．含有三个命题变项P，Q，R的命题公式P?Q的主析取范式是 ． 解 答 4．设P(x)：x是人，Q(x)：x去上课，则命题“有人去上课．”为 ． 答 5．设个体域D＝{a, b},那么谓词公式消去量词后的等值式为 ． 答 6．设个体域D＝{1, 2, 3}，A(x)为“x小于3”，则谓词公式(?x)A(x) 的真值为 ． 解 (?x)A(x)?A(1)?A(2)?A(3)?1?1?0?1 答 1 7．谓词命题公式(?x)((A(x)?B(x))?C(y))中的自由变元为 ． 答 y 8．谓词命题公式(?x)(P(x)→Q(x)?R(x，y))中的约束变元为 ． 答 x 二、公式翻译题 1．请将语句“今天是天晴”翻译成命题公式． 解 设P：今天天晴．则语句表示为P． 2．请将语句“小王去旅游，小李也去旅游．”翻译成命题公式． 解 设P：小王去旅游，Q：小李去旅游．则语句表示为P?Q． 3．请将语句“如果明天天下雪，那么我就去滑雪”翻译成命题公式． 解 设P：明天天下雪，Q：我去滑雪．则语句表示为． 4．请将语句“他去旅游，仅当他有时间”翻译成命题公式． 解 设P：他去旅游，Q：他有时间．则语句表示为． 5．请将语句“有人不去工作”翻译成谓词公式． 解 设P(x)：x是人，Q(x)：x去工作．则语句表示为． 6．请将语句“所有人都努力工作．”翻译成谓词公式． 解 设P(x)：x是人，Q(x)：x努力工作．则语句表示为． 三、判断说明题（判断下列各题，并说明理由．） 1．命题公式的真值是1． 解 错误．是永假式（否定律）． 2．命题公式?P?(P??Q)?P为永真式． 解 正确． （否定律） 3．谓词公式是永真式． 解 正确． 4．下面的推理是否正确，请给予说明． (1) (?x)A(x)?B(x) 前提引入 (2) A(y)?B(y) US (1) 解 错 因为A(x)中的x是约束变元，而B(x)中的x是自由变元，约束变元与自由变元不能混淆． 应为： (1) (?x)A(x)?B(x) 前提引入 (2) (?u)A(u)?B(x) T(1)换名规则 (3) (?u)(A(u)?B(x)) T(2)量词辖域扩张 (4) A(y)?B(x) ES(3) 四、计算题 1．求P?Q?R的析取范式、合取范式、主析取范式、主合取范式． 解 P?Q?R ??P?Q?R （析取范式、合取范式、主合取范式） ?(?P?(Q??Q)?(R??R))?((P??P)?Q?(R??R))?((P??P)?(Q??Q)?R) （补齐命题变项） ?(?P?Q?R)?(?P?Q??R)?(?P??Q?R)?(?P??Q??R) ?(P?Q?R)?(P?Q??R)?(?P?Q?R)?(?P?Q??R) ?(P?Q?R)?(P??Q?R)?(?P?Q?R)?(?P??Q?R) （?对?的分配律） ?(?P??Q??R)?