数理逻辑部分综合练习附答案.docx

PAGE PAGE 1 / 4 数理逻辑部分综合练习及答案 一、单项选择题 设 P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )． A． Q ? P B． P ? Q C． P ? Q D． ?P ? ?Q 因为语句“仅当我有时间时”是“我将去打球”的必要条件，一般地，当语句是由“…… ，仅当……”组成，它的符号化用条件联结词?．所以选项B 是正确的． 正确答案：B 问：如果把“我将去打球”改成“我将去学习”、“我将去旅游”等，怎么符号化呢？ 命题公式 P?Q 的合取范式是 ( )． A．P?Q B．（P?Q）?（P?Q） C．P?Q D．?（?P??Q） 复习合取范式的定义： 定义 6.6.2 一个命题公式称为合取范式，当且仅当它具有形式： A ∧A 1 ∧…∧A 2 n ， （n ? 1） 其中 A ，A ，…，A 均是由命题变元或其否定所组成的析取式． 1 2 n 由此可知，选项 B 和D 是错的．又因为 P?Q 与 P?Q 不是等价的，选项 A 是错的．所以，选项 C 是正确的． 正确答案：C 命题公式?(P ? Q) 的析取范式是( )． A． P ? ?Q B ?P ? Q C． ?P ? Q D． P ? ?Q 复习析取范式的定义： 定义 6.6.3 一个命题公式称为析取范式，当且仅当它具有形式： A ∨A 1 ∨…∨A 2 n ， （n ? 1） 其中 A ，A ，…，A 均是有命题变元或其否定所组成的合取式． 1 2 n ?(P ? Q) P ? ?Q P ? ?Q 由教材第 167 页中的蕴含等价式知道，公式 所以，选项A 是正确的． 正确答案：A 与 是等价的， 满足析取范式的定义， 注：第 2，3 题复习了合取范式和析取范式的概念，大家一定要记住的。如果题目改为求一个变元（P 或?P）命题公式的合取范式或析取范式，那么答案是什么？ 下列公式成立的为( )． A．?P??Q ? P?Q B．P??Q ? ?P?Q C．Q?P ? P D．?P?(P?Q)?Q 因为： ?P?(P?Q)?Q（析取三段论，P171 公式(10)） 所以，选项D 是正确的． 正确答案：D 下列公式 ( )为重言式． A．?P??Q?P?Q B．(Q?(P?Q)) ?(?Q?(P?Q)) C．(P?(?Q?P))?(?P?(P?Q)) D．(?P?(P?Q)) ?Q 由教材第 167 页中的蕴含等价式，得 (P?(?Q?P)) ??P?(Q? P)，(?P?(P?Q)) ? P? (?P?Q) 所以，C 是重言式，也就是永真式． 正确答案：C 说明：如果题目改为“下列公式 ( )为永真式”，应该是一样的． 设 A（x）：x 是人，B（x）：x 是学生，则命题“不是所有人都是学生”可符号化为（ ）． A．( ? x)(A(x)?B(x)) B．?( ? x)(A(x)?B(x)) C．?(?x)(A(x)?B(x)) D．?( ? x)(A(x)??B(x)) 由题设知道，A(x)?B(x)表示只要是人，就是学生，而“不是所有”应该用全称量词的否定，即??x，得到公式C． 正确答案：C 设 A（x）：x 是人，B（x）：x 是工人，则命题“有人是工人”可符号化为（ ）． A．(?x)(A(x)?B(x)) B．(?x)(A(x)?B(x)) C．?(?x)(A(x)?B(x)) D．?(?x)(A(x)??B(x)) 选项A 中的 A(x)?B(x)表示 x 是人，而且是工人，?x 表示存在一个人，有一个人，因此(?x)(A(x)?B(x))表示“有人是工人”． 正确答案：A 8．表达式?x(P(x, y) ? Q(z)) ? ?y(R(x, y) ? ?zQ(z)) 中?x 的辖域是( )． A．P(x, y) B．P(x, y)?Q(z) C．R(x, y) D．P(x, y)?R(x, y) 所谓辖域是指“紧接于量词之后最小的子公式称为量词的辖域”．那么看题中紧接于量词?x 之后最小的子公式是什么呢？显然是 P(x, y)?Q(z)，因此，选项B 是正确的． 正确答案：B 注：如果该题改为判断题，即 表达式?x(P(x, y) ? Q(z)) ? ?y(R(x, y) ? ?zQ(z)) 中?x 的辖域是 P(x, y) 如何判断并说明理由呢？ 9．在谓词公式(?x)(A(x)→B(x)?C(x，y))中，（ ）． A．x，y 都是约束变元 B．x，y 都是自由变元 C．x 是约束变元，y 都是自由变元 D．x 是自由变元，y 都是约束变元 约束变元就是受相应的量词约束的变元．而自由变元就是不受任何量词约束的变元．所以选项C 是正确的． 正确答案：C 注：如果该题改为