第一章 单元测试
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）
如有任何疑问请及时联系QQ 50895809反馈
