2024知到答案 离散数学（天津大学） 完整智慧树网课章节测试答案
第一章 单元测试
1、单选题：
下列语句（ ）是命题。
选项：
A:请打开门！
B:我只知道一件事情，就是我什么也不知道。
C:你正在说谎。
D:岂有此理？
答案: 【你正在说谎。】
2、单选题：
设命题公式A为¬ (p∧¬q)∨(p→r)。则在p、q、r的下列真值指派（ ）下，A的真值为假。
选项：
A:0、1、1
B:1、0、0
C:1、1、0
D:0、0、1
答案: 【1、0、0】
3、单选题：
下列字符串（ ）是命题公式。
选项：
A:p→r
B:¬ (p∧¬q)∨(p→r)
C:(p→r)
D:(¬ (p∧¬q))
答案: 【(p→r)】
4、单选题：
下列公式（ ）是公式¬(p∧¬q)∨(p→r)的合取范式。
选项：
A:(¬p∨q)∧(¬p∨r)
B:¬p∨q∨¬p∨r
C:q∧(¬p∨r)
D:(¬p∨q)∧r
答案: 【¬p∨q∨¬p∨r】
5、单选题：
公式¬(p∧¬q)∧(p→r)不能逻辑蕴含（ ）。
选项：
A:(¬p∨q)∧r
B:¬p
C:¬p∨r
D:¬p∧q
答案: 【(¬p∨q)∧r】
6、单选题：
公式¬ (p∧¬q)∧(p→r)等价于（ ）。
选项：
A:¬p∨(¬q∧r)
B:(p∧¬q)→(p→r)
C:(¬p∧q)→(p→r)
D:¬p∨(q∧r)
答案: 【¬p∨(q∧r)】
第二章 单元测试
1、单选题：
设P(u)：u是运动员，Q(u)：u是大学生。则命题“存在运动员是大学生”被翻译为（ ）。
选项：
A:∃x(P(x)∧Q(x))
B:∃x(P(x)→Q(x))
C:∃x(P(x)∨Q(x))
D:∃xQ(x)
答案: 【∃x(P(x)∧Q(x))】
2、单选题：
设P和Q是谓词，则下列字符串（ ）是一元命题函数。
选项：
A:P(u, v)∧Q(u)
B:P(u, u)→Q(v)
C:∃x(P(u, x)∨Q(u))
D:∃xQ(x)
答案: 【∃x(P(u, x)∨Q(u))】
3、单选题：
下列字符串（ ）是谓词公式。
选项：
A:∃xP(x, x)
B:¬P(u, u)→Q(v)
C:∃x∀xP(x, x)
D:P(u, v)∧Q(u)
答案: 【∃xP(x, x)】
4、单选题：
对于公式¬∃x(¬P(u, x)→∀yQ(y))，∃x的作用域是（ ）。
选项：
A:P(u, x)→∀yQ(y)
B:¬P(u, x)→∀yQ(y)
C:¬P(u, x)
D:P(u, x)
答案: 【¬P(u, x)→∀yQ(y)】
5、单选题：
公式¬∃x(¬P(u, x)→∀yQ(y))的前束范式是（ ）。
选项：
A:∀x∀y (¬P(u, x)→Q(y))
B:∀x∀y (¬P(u, x)∧¬Q(y))
C:∀x∃y (¬P(u, x)∧¬Q(y))
D:∀x∃y (¬P(u, x)→Q(y))
答案: 【∀x∃y (¬P(u, x)∧¬Q(y))】
6、单选题：
由两个前提∀x(A(x)→B(x))和∀x(¬B(x))不能推理得到（ ）。
选项：
A:∃xA(x)
B:∀x(¬A(x))
C:¬A(u)
D:¬∀xA(x)
答案: 【∃xA(x)】