离散数学数理逻辑部分期末复习题.docxVIP

个人收集整理 仅供参考学习 离散数学数理逻辑部分综合练习辅导 一、 1． P：我将去打球， Q：我有 ．命 “我将去打球， 当我有 ” 符号化 ( )． A．Q P B．P Q C．P Q D． P Q 因 句“ 当我有 ”是“我将去打球”的必要条件，所以 B 是正确的． 正确答案： B 一般地，当 句是由 “? ?， 当??” 成，它的符号化用条件 ． ：如果把“我将去打球”改成“我将去学 ”、“我将去旅游”等，会符号化 ？ 2． 命 公式 G： P ( Q R) ， 使公式 G 取真 1 的 P， Q，R 分 是 ( )． A．0, 0, 0 B．0, 0, 1 C．0, 1, 0 D．1, 0, 0 个 人收集整理 勿做商业用途 当 P 真 1 ， P 的真 0，无 (Q R) 的真 是 1 是 0，命 公式 G 的真 1．所以 D 是正确的． 正确答案： D 3．命 公式 P Q 的合取范式是 ( )． A．P Q B．（ P Q） （P Q） C．PQ D． （ P Q） 复 合取范式的定 ： 定 6.6.2 一个命 公式称 合取范式，当且 当它具有形式： 1∧A2∧?∧ An， （n 1） A 其中 A1， A2，?， An 均是由命 元或其否定所 成的析取式． 由此可知， B 和 D 是 的．又因 P Q 与 P Q 不是等价的， A 是 的．所以， C 是正确的． 正确答案： C 4．命 公式 ( P Q ) 的析取范式是 ( )． A．P QB P QC． P QD．P Q 复 析取范式的定 ： 定 6.6.3 一个命 公式称 析取范式，当且 当它具有形式： A1∨A2∨?∨ An ， （n 1） 其中 A1， A2，?， An 均是有命 元或其否定所 成的合取式． 公式 (P Q ) 与 P Q 是等价的， P Q 足析取范式的定 ，所以， 0 / 6 )为永真式” ，应该是一样的． 个人收集整理 仅供参考学习 选项 A 是正确的． 正确答案： A 5．下列公式成立的为 ( )． A． P Q PQB．P Q P Q C．Q P P D． P(PQ) Q 因为： P(PQ) Q 所以，选项 D 是正确的． 正确答案： D 6．下列公式 ( )为重言式． A． P Q P QB．(Q (P Q)) ( Q (P Q)) C．(P ( Q P)) ( P (P Q)) D．( P (P Q)) Q (P ( Q P)) P(Q P)，( P (P Q)) P( PQ) 所以， C 是重言式，也就是 永真式 ． 正确答案： C 说明：如果题目改为“下列公式 ( 7．设 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 8．设 C(x)：x 是国家级运动员， G(x)：x 是健壮的，则命题“没有一个国家 级运动员不是健壮的”可符号化为 ( )．个人收集整理 勿做商业用途 A ． x(C (x) G ( x)) B． x(C ( x) G ( x)) C． x(C ( x) G( x)) D． x(C ( x)G ( x)) 由题设知道， C(x) G(x)表示国家级运动员不是健壮的，而“没有一个” 就是“不存在一个”，因此用存在量词的否定，即 x，得到公式 D．个人收集整理 勿做商业用途 正确答案： D 9．表达式 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 是 正确的． 个人收集整理 勿做商业用途 1 / 6 个人收集整理 仅供参考学习 正确答案： B 10．在 公式 ( x)(A(x) →B(x) C(x， y))中，（ ）． A ．x，y 都是 束 元 B． x，y 都是自由 元 C．x 是 束 元， y 都是自由 元 D．x 是自由 元， y 都是 束 元 束 元就