大学MOOC 离散数学(湖南文理学院)1453064166 最新慕课完整章节测试答案

第一篇章数理逻辑

1.10随堂测验

1、单选题：

‍求P（QR）（PQ）R的对偶式。

‏选项：
A: （P（QR））（（PQ）R）
B: （P（QR））（（PQ）R）
C: （P（QR））（（PQ）R）
D: （P（QR））（（PQ）R）
答案: 【（P（QR））（（PQ）R）】

1.11随堂测验

1、单选题：

‌命题公式P（PQR）（PR）的类型为（）

选项：
A: 重言式
B: 矛盾式
C: 可满足式
D: 不确定
答案: 【可满足式】

2、单选题：

‎求公式（P（QR））（P（QR）)的析取范式。

‏选项：
A: （PQR））（PQR）
B: （PQR））（PQR）
C: （PQR））（PQR）
D: （PQR））（PQR）
答案: 【（PQR））（PQR）】

3、单选题：

求公式（P（QR））（P（QR）)的合取范式。

‍选项：
A: （PQ）（PQ）（PR）
B: （PR）（PQ）（PR）
C: （PQ）（PR ）（PQ）
D: （PQ）（PR ）（PQ）（PR）
答案: 【（PQ）（PR ）（PQ）（PR）】

1.12随堂测验

1、单选题：

关于命题公式（PQ）（QR）的范式，下列结论中（）正确。

选项：
A: 只有主合取范式
B: 既有主合取范式又有主析取范式。
C: 只有主析取范式。
D: 既没有主合取范式又没有主析取范式。
答案: 【既有主合取范式又有主析取范式。】

2、单选题：

‌命题公式（p（pq））r的主析取范式中含有多少个极小项。

‍选项：
A: 7
B: 4
C: 5
D: 6
答案: 【 7】

3、单选题：

‍命题公式（p（pq））r的主析取范式中含有多少个极大项。

‌选项：
A: 1
B: 2
C: 3
D: 4
答案: 【 1】

4、单选题：
‏已知命题公式A中含有3个命题变元p，q，r，并知道他的成真赋值分别为FFT,FTF,TTT，求A的主析取范式。‍
选项：
A:
B:
C:
D:
答案: 【】

5、单选题：
已知命题公式A中含有3个命题变元p，q，r，并知道他的成真赋值分别为FFT,FTF,TTT，求A的主合取范式。
选项：
A:
B:
C:
D:
答案: 【】

6、单选题：
某单位要从A,B,C三人中选派若干人出国考察, 需满足下述条件:(1) 若A去, 则C必须去;(2) 若B去, 则C不能去;(3) A和B必须去一人且只能去一人.‌问有几种可能的选派方案?‌
选项：
A: 派A,C去
B: 派A去
C: 派A,B去
D: 派A,B,C去
答案: 【派A,C去】

7、单选题：
某公司要从赵、钱、孙、李、周五名新毕业的大学生中选派一些人出国学习. 选派必须满足以下条件： (1)若赵去，钱也去； (2)李、周两人中至少有一人去； (3)钱、孙两人中有一人去且仅去一人； (4)孙、李两人同去或同不去； (5)若周去，则赵、钱也去. ‏试分析该公司如何选派他们出国？‏
选项：
A: 孙、李、周去
B: 赵、钱、周去
C: 孙，钱去
D: 赵、钱去
答案: 【赵、钱、周去】

1.14随堂测验

1、单选题：
‌命题“李明是王芳和王菲的教练”的个体为（）‍
选项：
A: 李明
B: 王芳，王菲
C: 王菲
D: 李明，王芳，王菲
答案: 【李明，王芳，王菲】

2、单选题：
‏令F(x)：x是金属。G(y):y使液体，H(x,y):x可以溶解在y中。则命题“任何金属可以溶解在某种液体中。”可翻译为（）‌
选项：
A: x(F(x)y(G(y)H（x，y）))
B: xy(F(x)(G(y)H（x，y）))
C: x(F(x)y(G(y)H（x，y）))

D: x(F(x)y(G(y)H（x，y）))
答案: 【 x(F(x)y(G(y)H（x，y）))
】

3、判断题：
‍在量词符号化命题时，全称量词中，特性谓词只能作为条件式的前件；存在量词中，特性谓词只能作合取项。‎
选项：
A: 正确
B: 错误
答案: 【正确】

1.15随堂测验

1、单选题：

‎谓词公式x P(x,y)(zQ(x,z)yR（x，y）)中变元x（）

‎选项：
A: 是自由变元但不是约束变元
B: 是约束变元但不是自由变元
C: 既不是自由变元也不是约束变元
D: 即是自由变元又是约束变元
答案: 【即是自由变元又是约束变元】

2、单选题：

‌谓词公式x （P(x)xR(x,y))Q（x，y）中，x的辖域为（）

‍选项：
A: P(x)
B: P(x)xR(x,y)
C: xR(x,y)
D: （P(x)xR(x,y))
答案: 【（P(x)xR(x,y))】

1.16随堂测验

1、单选题：
谓词演算中，下列各式（）不正确。‌
选项：
A: x（A(x)B(x)）xA(x)xB(x)
B: x（A(x)B(x)）xA(x)xB(x)
C: x（A(x)B(x)）xA(x)xB(x)

D: x（A(x)B(x)）xA(x)xB(x)
答案: 【 x（A(x)B(x)）xA(x)xB(x)
】