- 37
- 0
- 约3.16千字
- 约 3页
- 2017-09-02 发布于浙江
- 举报
离散数学模拟题答李占魁重点程度5颗星
一、单项选择题(每题 2 分,共 20 分)
1、令p:天下雨;q:上班。将命题’’若天下雨,则不上班’’ 符号化为 [D ]
A. p→q; B. q→p; C. p∧q; D. q→﹁p
2、任何命题公式都至少有 r 个主范式。 [ B ]
A.r = 1; B.r = 2; C.r = 3; D.r = 4。
3、命题公式A= p∧﹁p→q 的主析取范式为 [ C ]
A. A= ∑(0,1,2)。 B. A= ∑(0,2,3)。
C. A= ∑(0,1,2,3)。 D. A= ∑(1,2,3)。
4、命题公式 A=﹁q 的主析取范式为 A〈=〉 [ D ]
1; B. 0; C.∑(1)。; D.∑(0)。
5、给出公式 Q∧﹃Q 的主合取范式. [ B]
A. B.Π(0,1).; C.Π(0).; D.Π(1).。
6、下列公式中哪个是关于 p,q 的主合取范式 [ A ]
A.p∨q; B.﹃p∧q; C.p∧﹃q; D.﹃p∨p。
7、公式 彐x F(x)→彐y G(y)的类型是 [ C ]
A.永真式; B.永假式; C.可满足式; D.不是一阶逻辑公式。
8、因为公式中有命题变项,所以命题公式 [ C]
A.一定不是命题; B.一定是命题; C.不一定是命题; D.以上都不是。
9、域为整数,公式 xy( x – y x + y )是 [ B ]
A.真命题; B.假命题; C.不是命题; D.ABC都不是。
10、公式 ﹃(F(x)→(yG(x,y)→ F(x))的类型是 [ B ]
A.永真式; B.永假式; C.非永真可满足式; D.不是谓词公式。
二、判断下列各题的是非(题中,m,n 分别为边,顶点数.每题 2 分,共 14 分)
。 1、任何无向图都有一棵生成树。 [ 非 ]
2、无向图 G(n,m)中,若边 m 大于等于顶点 n,则图中必有圈 [ ]
3、无向连通图 G(m,n)的每一条边都可以成为他的某一生成树的树枝。 [ 非 ]
4、不含平行边的无向图必定为简单图 [ 非 ]
5、 无向连通图 G(m,n)的某一生成树 T 中必有关系 m = n-1。 [ 非 ]
6、19 个顶点的 2-元正则树有 (19 ) 片树叶。 [ 非]
7、10 阶无向连通图G 的边数为m,则其生成树的树枝数为 9 [ ]
三、在一阶逻辑中将下面命题符号化( 10 分)
1、所有兔子比某些乌龟跑得快。
x(F(x)→彐y(G(y)∧H(x,y)))。
令 F(x):x是兔子;G(y):y是乌龟;H(x,y):x 比y 跑得快。
2、并非所有兔子比某些乌龟跑得快。
﹃x(F(x)→彐y(G(y)∧H(x,y)))。
彐x﹃(F(x)→彐y(G(y)∧H(x,y)))。
彐x(F(x)∧y﹃(G(y)∧H(x,y)))。
彐x(F(x)∧y(﹃G(y)∨﹃H(x,y)))。
彐x(F(x)∧y(G(y)→﹃H(x,y)))。
令 F(x):x是兔子;G(y):y是乌龟;H(x,y):x 比y 跑得快。
3、张三爱他的儿子。
a:张三; F(x,y):x爱y; f(x)=x 的儿子; F(a f(a)).
四、填空题(每题 2 分,共 16 分)
1
您可能关注的文档
最近下载
- 常州大学《大学英语一》2024-----2025学年期末试卷(A卷).pdf VIP
- 艾米克变频器AMK3100中文说明书使用手册.pdf
- 必背古诗词75首(可打印) .pdf VIP
- 某知名汽车维修企业员工手册范本.docx VIP
- 2025年二建水利b证考试真题及答案.docx
- 安全驾驶教育培训课件.ppt VIP
- 汽车维修车间员工职责手册.docx VIP
- 黑龙江省哈尔滨市第三中学校2025-2026学年高二上学期9月月考物理试卷.docx VIP
- 初中语文名著导读--《骆驼祥子》知识点总结归纳.docx VIP
- 实施指南(2025)《DAT 22-2015 归档文件整理规则》.pptx VIP
原创力文档

文档评论(0)