离散数学数理逻辑部分综合练习辅导.docVIP

离散数学 本次综合练习主要是复习这一部分的主要概念与计算方法，与前两个单元不同的是，这一部分除了有单项选择题、填空题，判断说明题、计算题、证明题等五种题型外，还要增加一种公式翻译题，这种题型也是期末考试题型的一种，因此希望同学们要熟悉所有的题型，使我们在考试中能够顺利地解答题目，获得好成绩。下面按题型分别讲解。 一、单项选择题 1．设P：我将去市里，Q：我有时间．命题“我将去市里，仅当我有时间时”符号化为( ) A． B． C． D． 正确答案：B 因为语句“仅当我有时间时”是“我将去市里”的必要条件，所以答案B是正确的。 问：如果把“我将去市里”改成“我将去打球”、“我将去旅游”等，会符号化吗？ 2．设命题公式G：,则使公式G取真值为1的P，Q，R赋值分别是 ( ) A．B．C．D．?P取假值，则无论后件Q?R取真值还是假值，结果都是真的。因此答案D是正确的。 3．下列公式 ( )为重言式． A．?(?P?(P?Q)) ?Q B．(B?(A?B)) ?(?A?(A?B)) C．?(?Q?P))?(?P?(P?Q)) D．??B?A?B 正确答案：C 因为： ?P?(P?Q)? P? (P?Q) ? P? (?P?Q) ? ?P ? (P ?Q) ? ?P ? (Q ? P) ? ?P ? (?Q ? P) ? P? (?Q ? P) 所以，C是重言式． 4．命题公式的主析取范式是( )． A．B．C．D．? (P ?Q ) ? ?(?P ?Q) ? P? ?Q 所以，答案A是正确的。 5．设C(x): x是国家级运动员，G(x): x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为 ( )． B． C．D．?? G(x)表示国家级运动员不是健壮的，而“没有一个”就是“不存在一个”，因此用存在量词的否定，即??x，得到公式D。 如果把命题改为:“不是所有人都是运动员”,你会符号化吗? 6．表达式中的辖域是( )．．．?Q(z) C．．?R(x, y) 正确答案：B 所谓辖域是指“紧接于量词之后最小的子公式称为量词的辖域”．那么看题中紧接于量词?x之后最小的子公式是什么呢？显然是P(x, y)?Q(z)，因此，答案B是正确的。 二、填空题 1．命题公式的真值是　 　． 应该填写：1 因为??P?(Q?P) ?1，所以应该填写：1。 2．设P：他生病了，Q：他出差了．R：我同意他不参加学习. 则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为 ． 应该填写：(P?Q)?R 一般地，当语句是由“如果……，那么……”，或“若……，则……”组成，它的符号化用条件联结词?． 3．含有三个命题变项P，Q，R的命题公式P?Q的主析取范式是 ． 应该填写：(P?Q?R)? (P?Q??R) 关于主析取范式的定义，在单选题的第4题已经复习了，由小项的定义知道，命题公式P?Q中缺少命题变项R与它的否定，因此，应该补上，即 P?Q?P?Q? (R??R) ?(P?Q? R) ?(P?Q??R) 得到命题公式P?Q的主析取范式。 4．设F(x)：x是鸟，G(x)：x会飞翔．则命题“鸟会飞”符号化为 ． 应该填写：(?x)(F(x)? G(x)) 注意，一般情况下，谓词逻辑中命题符号化时，使用全称量词?，特性谓词后用?；使用存在量词?，特性谓词后用?． 5．设个体域D={1, 2},那么谓词公式消去量词后的等值式为 ． 应该填写：(A(1)? A(2))? (B(1)? B(2)) 因为在有限个体域下，消除量词的规则为：设D＝{a1, a2, …, an}，则 所以，应该填写：(A(1)? A(2))? (B(1)? B(2)) 如果个体域D={a, b, c}, 怎么做? 6．谓词命题公式(?x)(P(x)→Q(x)∨R(x，y中的约束变元． 约束变元相应量词约束的变元?x)(P(x)→Q(x)∨R(x，y中量词?约束的变元．变元 1．请将语句“今天不是天晴”翻译成命题公式． 解：设P：今天是天晴； 命题公式为： ? P． 2．请将语句“我去书店，仅当天不下雨”翻译成命题公式． 解：设 P：我去书店，Q：天不下雨， 命题公式为：P ?Q． 3．请将语句 “有人