第一章 单元测试
1、单选题：
下列哪个命题公式是重言式？( )
选项：
A:
，
B:
，
C:
，
D:
，
答案: 【，
】
2、单选题：
若解释I使命题公式A为真，使公式A®B也为真，则解释I使公式B为( ）。
选项：
A:假，
B:真，
C:可满足，
D:与解释I无关
答案: 【真，
】
3、判断题：
任何两个重言式的合取或析取，仍然是一个重言式。（ ）
选项：
A:对
B:错
答案: 【对】
4、单选题：
命题公式
等值于（ ）。
选项：
A:
,
B:
，
C:
D:
，
答案: 【,
】
5、单选题：
n个命题变项可以产生（ ）个互不等值的极小项。
选项：
A:2n，
B:
,
C:n，
D:
，
答案: 【,
】
第二章 单元测试
1、判断题：
设L(x,y):x大于y，则L(x,y)是一个命题。 （ ）
选项：
A:对
B:错
答案: 【错】
2、判断题：
在一阶逻辑中将命题符号化时，针对不同的个体域，同一个命题符号化之后的结果可能相同也可能不同。 （ ）
选项：
A:错
B:对
答案: 【对】
3、多选题：
给定解释N如下：
在解释N下，下面公式中真命题有（ ）。
选项：
A:
B:
C:
D:
答案: 【
;
】
4、多选题：
下列公式中，逻辑有效式是（ ）。
选项：
A:
B:
C:
D:
答案: 【
;
】
5、判断题：
在一阶逻辑中，任何合式公式都存在与之等值的前束范式，并且前束范式是唯一存在的。（ ）
选项：
A:错
B:对
答案: 【错】
6、单选题：
每列火车都比某些汽车快。
，
则该命题符号化为（ ）
选项：
A:
B:
C:
D:
答案: 【
】
7、多选题：
给定解释I如下：
下列公式为真的是（ ）
选项：
A:
B:
C:
D:
答案: 【
;
;
】
8、多选题：
，请问哪几个正确（ ）
选项：
A:
B:
C:
D:
答案: 【
;
】
第三章 单元测试
1、判断题：
为真。（ ）
选项：
A:对
B:错
答案:
2、判断题：
为真。（ ）
选项：
A:对
B:错
答案:
3、判断题：
为真。（ ）
选项：
A:对
B:错
答案:
4、判断题：
为假。（ ）
选项：
A:错
B:对
答案:
第四章 单元测试
1、单选题：
集合A={1,2,…,10}上的关系R={＜x,y＞|x+y=10, x,y∈A}，则R的性质为（ ）。
选项：
A:对称的
B:传递的
C:对称的、传递的
D:自反的
答案:
2、多选题：
集合A上的偏序关系的三个性质是（ ）。
选项：
A:自反性
B:对称性
C:传递性
D:反对称性
答案:
3、多选题：
集合A上的等价关系的三个性质是（ ）。
选项：
A:传递性
B:对称性
C:自反性
D:反对称性
答案:
4、判断题：
A上的恒等关系既是等价关系又是偏序关系。（ ）
选项：
A:错
B:对
答案:
5、判断题：
若R和S都是非空集A上的等价关系，则RÇS是A上的等价关系。（ ）
选项：
A:对
B:错
答案:
第五章 单元测试
1、单选题：
给定下列各图，为简单图的是（ ）。
选项：
A:
B:
C:
D:
答案:
2、单选题：
下面各序列中，可以构成无向简单图的是（ ）。
选项：
A:（1,1,2,2,3）
B:（1,1,2,2,2）
C:（3,3,4,2,3）
D:（1,3,4,4,3）
答案:
3、单选题：
下面给出的无向图中，为多重图的是（ ）。
选项：
A:G=＜V，E＞, 其中V={a, b, c, d, e}，E={（a, b）,（b, e）,（e, b）,（a, e）,（d, e）}
B:G=＜V，E＞, 其中V={a, b, c, d, e}，E={（a, b）,（b, e）,（e, d）,（c, c）}
C:G=＜V，E＞, 其中V={a, b, c, d, e}，E={（a, b）,（b, c）,（c, d）,（a, e）}
D:G=＜V，E＞, 其中V={a, b, c, d, e}，E={（a, c）,（b, e） ,（a, e）,（d, e）}
答案:
4、单选题：
下列各组数中，能够构成无向图的度数列的是（ ）。
选项：
A:2,2,4,2,2
B:1,2,3,4,5
C:1,1,1,2,4
D:3,3,2,3
答案:
5、单选题：
一个无向图有16条边，每个顶点都是2度的，则这个无向图中有几个顶点（ ）。
选项：
A:16
B:8
C:4
D:10
答案:
6、单选题：
下面图中强连通图为（ ）。
选项：
A:
B:
C:
D:
答案:
7、单选题：
对如下无向图
下面选项中哪一个不是该无向图的点割集。（ ）
选项：
A:{v3，v5}
B:{v2，v4}
C:{v2}
D:{v6}
答案:
8、判断题：
不含平行边的图称为简单图。（ ）
选项：
A:错
B:对
答案:
9、判断题：
任何图（无向图或有向图）中，度数为奇数的顶点个数为偶数。（ ）
选项：
A:错
B:对
答案:
10、判断题：
顶点数相同，边数相同，度数序列也相同的两个图一定同构。（ ）
选项：
A:对
B:错
答案:
11、判断题：
给图着色时，若图为圈，长度为偶数的圈要用2种颜色，长度为奇数的圈要用3种颜色。（ ）
选项：
A:错
B:对
答案:
12、判断题：
给图着色时，奇阶轮图要用3种颜色，偶阶轮图要用4种颜色。（ ）
选项：
A:对
B:错
答案:
13、判断题：
项目网络图有一个始点和一个终点，始点的出度为0，终点的入度为0。（ ）
选项：
A:对
B:错
答案:
14、判断题：
无向图的关联矩阵中每一列都恰好有两个1或一个2。（ ）
选项：
A:对
B:错
答案:
15、判断题：
有向图的邻接矩阵中所有元素之和等于对应图中边数的两倍。（ ）
选项：
A:错
B:对
答案:
存在完美匹配。（ ）
存在完美匹配。（ ）
请先 ！