2009—2010学年第二学期离散数学试卷（B）（朱敬华）.docVIP

装 订 线 　　　　2009—2010学年第二学期离散数学试卷（B） 　　（zjh） 题 号 一 二 三 四 五 总分 评卷人 复查人 分 数 20 20 8 32 20 100 得 分 得分 评卷人 一、选择题（在每个小题四个备选答案中选出一个正确答案，填在题末括号里）（本大题共10题，每小题2分，总计20分） 1．下列语句中是命题的有（ ）。 A．2x+3 12 B． 2012年元旦下大雪 C．大于吗？ D． 我正在说假话 2．全体极小项的合取式为（ ）。 A．可满足式 B．矛盾式 C．永真式 D．A，B，C 都有可能。 3．下列各命题中真值为真的命题有（ ）。 A．2+2=4当且仅当3是奇数 B．2+2=4当且仅当3不是奇数 C．2+2≠4当且仅当3是奇数 D．2+2≠4当且仅当4不是奇数 4．下列等价式成立的有（ ）。 A． B． C． D． 5．公式的解释I为：个体域D={2}，P(x)：x3, Q(x)：x=4，则A的真值为（ ）。 A．1 B．0 C．可满足式 D．无法判定 6．设是一个有界格，则它也是有补格需要满足下面哪个条件（ ）。 A．每个元素都有一个补元 B．每个元素都至少有一个补元 C．每个元素都无补元 D．每个元素都有多个补元 7．设{a , b , c}，*为代数系统，*运算如下： * a b c a a b c b b a c c c c c 则零元为（ ）。 A．a B．b C．c D．没有 8．设，*为普通乘法。则代数系统的幺元为（ ）。 A．不存在 B． C． D． 9．在（ ）中，补元是唯一的。 A．有界格 B．有补格 C．分配格 D．有补分配格。 10．下列偏序集能构成格的是（ ）。 院 系 年 级 专 业 姓 名 学 号 考试课程 装 订 线 装 订 线 得分 评卷人 二、填空题（本大题共10小题10个空，每空2分，总计20分） 1．，*表示求两数的最小公倍数的运算（Z表示整数集合），对于*运算的幺元是 。 2．设P：你努力 Q：你失败，则“虽然你努力了，但还是失败了” 翻译为 。 3．设A，B是两命题公式，当且仅当 。 4．P，Q真值为0 ；R，S真值为1。则的真值为 。 5．设A为命题变项p,q,r的矛盾式，则公式的类型为 。 6．设A={1,-1},则A关于普通加法、减法、乘法、除法中 运算是封闭的。 7．设P是命题，则P的对偶命题是 。 8．若解释I的个体域D仅包含一个元素，则 在I下的真值为 。 9．在一阶逻辑中将命题符号化时，若没指明个体域，则使用 个体域。 10．A为重言式当且仅当A的主析取范式包含全部的 。 得分 评卷人 三、判断题 （在每个小题题末括号里填写判断结果，对的打√，错的打×）（本大题共8小题，每小题1分，总计8分） 1．是前束范式。（ ） 2．。（ ） 3．任何命题公式都存在主析取和主合取范式且不唯一。（ ） 4．重言式一定是可满足式，反之亦真。（ ） 5．阶为素数的群G一定是循环群。（ ） 6．命题公式的成假赋值为100。（ ） 7．命题公式是一个矛盾式。（ ） 8．设G为群，则e为G中唯一的幂等元。（ ） 得分 评卷人 四、解答题 （本大题共4小题，第1小题6分，第2小题10分，第3、4小题每题8 分，总计32分） 1．(本题6分) 在有限个体域 D = {a,b}内消去公式中的量词。 2．(本题10分) 符号化命题“每个学术会的成员都是工人并且是专家，有些成员是青年人，所以有的成员是青年专家”；并用演绎方法证明上面推理。（F(x)：x是学术会成员；H(x)：x是工人；G(x)：x是专家；R(x)：x是青年人） 　　　　　　　　　 院 系 年 级 专