离散数学数理逻部分综合练习辅导.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．请将语