智慧树知道离散数学（山东联盟）-智慧树-知到-题库零氪测试题答案大全

第一章测试

1、
    A、
    B、
    C、
    D、

2、设P：我将去市里，Q：我有时间．命题“我将去市里，仅当我有时间”符号化为
    A、Q ® P
    B、P ® Q
    C、P «Q
    D、ØPÚQ

3、
    A、
    B、
    C、
    D、

4、下列公式是重言式的为
    A、PÙQ «ØPÚQ
    B、(B®(AÚB)) «(ØAÙ(AÚB))
    C、Ø(PÚQ) «（ØPÙØQ ）
    D、AÙØB«AÚB

5、
    A、永真式
    B、永假式
    C、可满足式
    D、无法确定

6、下列表述成立的为
    A、ØPÙØQÛPÚQ
    B、ØB®A Û A®B
    C、P ® Q ÞQ
    D、ØAÙ (AÚB) ÞB

7、下列结论中不正确的是
    A、三个命题变元的布尔小项ØP∧Q∧ØR的编码是m010
    B、三个命题变元的布尔大项ØP Ú QÚ ØR 的编码是M101
    C、任意两个不同的布尔小项的析取式必为永真式
    D、任意两个不同的布尔大项的析取式必为永真式

8、
    A、
    B、
    C、
    D、

9、设A，B都是命题公式，则A→B为可满足式是AÞB的
    A、充分而非必要条件
    B、必要而非充分条件
    C、充分必要条件
    D、既非充分又非必要条件

10、
    A、
    B、
    C、
    D、

11、一个公式在等价意义下，下面哪个写法是唯一的
    A、析取范式
    B、合取范式
    C、主析取范式
    D、等价公式

12、下面4个推理定律中，不正确的是
    A、
    B、
    C、
    D、

13、
    A、
    B、
    C、
    D、

14、下列语句中哪个是真命题
    A、我在说假话.
    B、如果1+2=3，那么雪是黑的.
    C、严禁吸烟！
    D、如果疑问句是命题，那么地球将停止转动.

15、
    A、8
    B、3
    C、5
    D、0

第二章测试

1、谓词公式$xA(x) ÙØ $xA(x)的类型是
    A、永真式
    B、矛盾式
    C、非永真式的可满足式
    D、无法确定

2、设个体域为整数集，下列公式中其真值为1的是
    A、
    B、
    C、
    D、

3、
    A、
    B、
    C、
    D、

4、下面给出的一阶逻辑等价式中，错误的是
    A、
    B、
    C、
    D、

5、
    A、
    B、
    C、
    D、

6、
    A、与谓词变元有关，与论述域无关
    B、与谓词变元无关，与论述域有关
    C、与谓词变元和论述域都有关
    D、与谓词变元和论述域都无关

7、
    A、
    B、
    C、
    D、

8、
    A、
    B、
    C、
    D、无法确定

9、
    A、
    B、
    C、
    D、

10、
    A、
    B、
    C、
    D、

11、
    A、
    B、
    C、
    D、

12、
    A、
    B、
    C、
    D、

13、
    A、
    B、
    C、
    D、

14、
    A、
    B、
    C、
    D、

15、
    A、
    B、
    C、
    D、

第三章测试

1、
    A、
    B、
    C、
    D、

2、
    A、自反的
    B、对称的
    C、传递的
    D、反自反的

3、
    A、
    B、
    C、
    D、

4、
    A、
    B、
    C、
    D、

5、
    A、
    B、
    C、
    D、

6、下列关系中等价关系的是
    A、集合之间的包含关系
    B、n阶方阵之间的相似关系
    C、实数之间的小于等于关系
    D、命题公式之间的蕴含关系

7、
    A、
    B、
    C、
    D、

8、下列命题中结论正确的是
    A、
    B、
    C、
    D、每一个等价关系必为偏序关系

9、
    A、8、2、8、2
    B、8、1、6、1
    C、6、2、6、2
    D、无、2、无、2

10、
    A、
    B、
    C、
    D、

11、
    A、
    B、
    C、
    D、

12、
    A、
    B、
    C、
    D、

13、
    A、
    B、
    C、
    D、

14、
    A、自反闭包
    B、传递闭包
    C、对称闭包
    D、无法确定

15、下列关系矩阵所对应的关系具有反对称性的是
    A、
    B、
    C、
    D、

第四章测试

1、代数系统中若存在左幺元、右幺元，则左幺元，右幺元不一定相等.

2、一个代数系统中若存在左零元、右零元，则左零元，右零元一定相等。

3、一个代数系统中若存在左逆元、右逆元，则左逆元，右逆元必相等。

4、代数系统若存在单位元，则单位元是唯一的。

5、代数系统若存在单位元，零元则单位元必与零元相等。

第五章测试

1、独异点中的元素必有逆元.

2、

3、

4、

5、独异点是含幺半群.

第六章测试

1、群必为半群.

2、群必为独异点.

3、群中并不是每个元素均有逆元.

4、群中无零元.

5、群和其子群共用一个单位元.

第四章测试

1、
    A、
    B、
    C、
    D、

2、
    A、偏序关系
    B、等价关系
    C、既是偏序关系又是等价关系
    D、既不是偏序关系也不是等价关系

3、
    A、
    B、
    C、
    D、

4、下面四组数不能构成无向图的度数列的
    A、
    B、
    C、
    D、

5、
    A、
    B、
    C、
    D、

6、
    A、6
    B、5
    C、8
    D、4

7、
    A、10
    B、4
    C、8
    D、12

8、
    A、
    B、
    C、
    D、

9、下列哪一种图不一定是树
    A、无回路的连通图
    B、对每对结点间都有通路的图
    C、连通但删去任意一条边则不连通的图
    D、有n个结点，n-1条边的连通图

10、
    A、
    B、
    C、
    D、

11、
    A、
    B、
    C、
    D、

12、
    A、图(a)是强连通的
    B、图(b)是强连通的
    C、图(c)是强连通的
    D、图(d)是强连通的

13、
    A、
    B、
    C、
    D、

14、
    A、
    B、
    C、
    D、

15、
    A、
    B、
    C、
    D、