大学MOOC 离散数学杨洪勇(鲁东大学)1451583201 最新慕课完整章节测试答案

命题公式测试

1、单选题：
‎下列句子中哪个是命题？‎
选项：
A: 这只兔子跑得真快呀！
B: 请不要讲话！
C: 2 + 5 > 7
D: 今天是几号？
答案: 【 2 + 5 > 7】

2、单选题：
‏下列句子中哪个是命题？‍
选项：
A: 请把门关上
B: 北京是中国的首都
C: 今天的天气真冷呀！
D: 下午2 点上课么？
答案: 【 北京是中国的首都】

3、单选题：
​判断哪个是原子命题‎
选项：
A: 王晓既用功又聪明
B: 王晓与王丽是同学
C: 王晓不仅聪明，而且用功
D: 王晓虽然聪明，但不用功
答案: 【 王晓与王丽是同学】

4、单选题：
‌下列命题符号化正确的是（ ）‏‌王晓虽然聪明，但不用功。‏‌令 P：王晓用功，Q：王晓聪明‏
选项：
A:  P∧Q
B: P∨Q
C: P∧Q
D:
答案: 【 P∧Q】

5、单选题：
‍“如果 p，则 q ” 的不等价的说法是（）‍
选项：
A: 只要 p，就 q
B: 若q，则p
C:  除非 q, 才 p
D: 只有 q  才 p
答案: 【 若q，则p】

6、判断题：
‎3是无理数 是命题‏
选项：
A: 正确
B: 错误
答案: 【 正确】

7、判断题：
‍你有一支铅笔吗？ 是命题‏
选项：
A: 正确
B: 错误
答案: 【 错误】

8、判断题：
‌x + 5 ＞ 3    是命题‌
选项：
A: 正确
B: 错误
答案: 【 错误】

9、判断题：
​今天天气真好啊！  是命题‌
选项：
A: 正确
B: 错误
答案: 【 错误】

10、判断题：
​你有一支铅笔。 是命题​
选项：
A: 正确
B: 错误
答案: 【 正确】

命题逻辑单元测验

1、单选题：
以下哪个语句是命题？‎
选项：
A: 请不要抄袭！
B: 太阳是行星。
C: 这里能抽烟吗？
D: x – y = 3
答案: 【 太阳是行星。】

2、单选题：
以下哪个命题是原子命题？‎
选项：
A: 张三和李四是朋友。
B: 如果明天下雨，我就不去公园。
C: 世界上没有救世主，也没有神仙。
D: 小明要么在上课，要么在操场跑步。
答案: 【 张三和李四是朋友。】

3、单选题：
 设  P：我是中国人​Q：我是北京人​请问：“除非我是北京人，否则我就不是中国人”命题符号化的结果是：​
选项：
A: P®Q
B: Q®P
C: P®﹁Q
D: Q®﹁P
答案: 【 P®Q】

4、单选题：
以下哪个语句是假命题？‏
选项：
A: 当x>4，则x+1>5
B: 只要今天是春节，明天就是元宵节。
C: 如果地球不转了，乌鸦就是白色的。
D: 只有北京科技大学不在北京，2才是素数。
答案: 【 只有北京科技大学不在北京，2才是素数。】

5、单选题：
﹁P∨Q∧R®S是以下哪个合式公式的简化形式？‏
选项：
A:  ((((﹁P)∨Q)∧R)®S)
B: (((﹁P)∨(Q∧R))®S)
C: ((﹁(P∨Q)∧R)®S)
D:  ((﹁P)∨(Q∧(R®S)))
答案: 【 (((﹁P)∨(Q∧R))®S)】

6、单选题：
根据蕴涵律，P®Q与下列哪个公式等价？‍
选项：
A: ﹁P∧Q
B: P∧﹁Q
C: ﹁P∨Q
D:  P∨﹁Q
答案: 【 ﹁P∨Q】

7、单选题：
德国纳粹头子戈培尔曾说，谎言重复三次就成为真理。请问这违背了哪条定律？‌
选项：
A: 双重否定律
B: 幂等律
C: 结合律
D: 德摩根律
答案: 【 幂等律】

8、单选题：
 “臭豆腐又臭又香”是个假命题。请问这使用了哪条定律？‎
选项：
A: 同一律
B: 排中律
C: 矛盾律
D: 吸收律
答案: 【 矛盾律】

9、单选题：
我家的猫要么在阳台睡觉，要么在厨房吃肉。现在没在阳台找到它，那它肯定在厨房。请问这使用了什么推理定律？‌
选项：
A: 假言推理
B: 拒取式
C: 析取三段论
D: 构造性二难
答案: 【 析取三段论】

10、单选题：
P∧Q的对偶式是？‍
选项：
A: P∧Q
B: ﹁P∧﹁Q
C: P∨Q
D: ﹁P∨﹁Q
答案: 【 P∨Q】

11、单选题：
P®(P∧Q)的类型是？‎
选项：
A: 重言式
B: 矛盾式
C: 非重言可满足式
D: 无法判断
答案: 【 非重言可满足式】

12、单选题：
‌既是合取范式也是析取范式的是？‌
选项：
A: (﹁P∧﹁Q) ∨(﹁P∧P)
B: (﹁P∧﹁Q) ∨ (P∧Q)
C: (﹁P∨﹁Q) ∧ (P∨Q)
D: ﹁P∧﹁Q
答案: 【 ﹁P∧﹁Q】

13、多选题：
‎下列语句中哪些是命题？​
选项：
A: 铅球不是球。
B: 要是他不上场，我们就会输。
C: 刘翔110米栏用了不到13秒，你说他是一个真正的运动健将吗？
D: 刘翔110米栏用了不到13秒，他是一个真正的运动健将。
答案: 【 铅球不是球。;
要是他不上场，我们就会输。;
刘翔110米栏用了不到13秒，他是一个真正的运动健将。】

14、多选题：
‎下列命题哪些不是复合命题？​
选项：
A: 我不会唱歌。
B: 如果不下雨，我就上街。
C: 天气太热了！
D: 火星上有人吗？
答案: 【 天气太热了！;
火星上有人吗？】

命题逻辑推理测试

1、单选题：
‌下面说法正确的是：‌
选项：
A: 命题公式在所有指派下的真值不可能都为假
B: 命题公式在所有指派下的真值不可能都为真
C: 命题公式在所有指派下的真值可以都为真
D: 命题公式的真值有时候无法计算
答案: 【 命题公式在所有指派下的真值可以都为真】

2、单选题：
​命题公式的主合取范式为‎
选项：
A: 命题公式的所有极大项的合取式
B: 命题公式的所有极小项的合取式
C: 命题公式的所有极大项的析取式
D: 命题公式的所有极小项的析取式
答案: 【 命题公式的所有极大项的合取式】

3、单选题：
‌命题公式的主析取范式为‍
选项：
A: 命题公式的所有极大项的合取式
B: 命题公式的所有极小项的合取式
C: 命题公式的所有极大项的析取式
D: 命题公式的所有极小项的析取式
答案: 【 命题公式的所有极小项的析取式】

4、单选题：

‎已知命题公式的极大项的二进制编码

‎选项：
A: M110
B: M100
C: M101
D: M011
答案: 【 M101】

5、单选题：

‌命题公式的极小项的二进制编码

‎选项：
A: m110
B: m101
C: m011
D: m010
答案: 【 m010】

6、多选题：

‌等价的公式

​

‌

​选项：
A:
B:
C:
D:
答案: 【 ;
】

7、多选题：
​命题公式推理正确的是​
选项：
A:
B:
C:
D:
答案: 【 ;
】

8、判断题：

‏命题公式推理正确

​

‏

​选项：
A: 正确
B: 错误
答案: 【 正确】

9、判断题：

​命题公式推理正确

‌

​

‌选项：
A: 正确
B: 错误
答案: 【 错误】

10、判断题：

​命题公式推理正确

‌

​

‌选项：
A: 正确
B: 错误
答案: 【 正确】

命题公式关系测试

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:
C: R
D: P
答案: 【 】

7、单选题：

‎推理公式的结果

‍

‎

‍选项：
A: Q
B: P
C:
D:
答案: 【 】

8、单选题：

‍推理公式的结果：

‏

‍

‏选项：
A: P
B: Q
C:
D:
答案: 【 】

9、填空题：

​推理公式：

‏

​

‏答案: 【 H】

10、填空题：

‌推理公式：

‏

‌

‏答案: 【 Q】

谓词逻辑基本概念测试

1、单选题：
‌设个体域为D，G(x)是一个具体的谓词，下面说法正确的是‎
选项：
A:  ，当且仅当对于D中的元素x，有G(x)=1
B:  ，当且仅当对于D中的元素x，有G(x)=1
C:  ，当且仅当对于D中的元素x，有G(x)=0
D:  ，当且仅当对于D中的元素x，有G(x)=0
答案: 【  ，当且仅当对于D中的元素x，有G(x)=1】

2、单选题：
‌设个体域为D，G(x)是一个具体的谓词，下面说法正确的是‍
选项：
A: 当且仅当存在某一个，使得G(x)=0
B: ,  当且仅当存在某一个，使得G(x)=1
C: , 当且仅当存在某一个，使得G(x)=0
D: , 当且仅当存在某一个，使得G(x)=0
答案: 【  当且仅当存在某一个，使得G(x)=0】

3、单选题：

‍指出公式中的自由变元

​选项：
A: x
B: y
C: R(x)中的x；y
D: R(x)中的x；y；Q(x)中的x
答案: 【 R(x)中的x；y】

4、单选题：

‏指出公式中的约束变元

‍选项：
A: x; y
B: P(x,y)中的x；Q(x)中的x
C: P(x,y)中的x；R(x)中的x
D: Q(x)中的x；R(x)中的x
答案: 【 P(x,y)中的x；Q(x)中的x】

5、单选题：

‌谓词公式的约束变元

‌选项：
A: x
B: y
C: z
D: 不存在
答案: 【 x】

6、多选题：
‌下面对应全称量词的说法‏
选项：
A: 所有的人都是要死的
B: 有的人是大学生
C: 有些自然数不是素数。
D: 每一个带伞的人都不怕雨
答案: 【 所有的人都是要死的;
每一个带伞的人都不怕雨】

7、多选题：
​下面对应存在量词的说法‎
选项：
A: 每一个人都会犯错误
B: 有一些人会摔跤
C: 有人是大学生
D: 存在偶素数
答案: 【 有一些人会摔跤;
有人是大学生;
存在偶素数】

8、判断题：

‌, 等式正确？

‍选项：
A: 正确
B: 错误
答案: 【 正确】

9、判断题：

‍ , 等式正确？

‍选项：
A: 正确
B: 错误
答案: 【 正确】

10、判断题：

​  , 等式正确？

‍选项：
A: 正确
B: 错误
答案: 【 错误】

11、判断题：

‍ , 等式正确？

‌选项：
A: 正确
B: 错误
答案: 【 错误】

12、填空题：

‏假设个体域D={a,b}；P(a,a)=1, P(a,b)=0, P(b,a)=0, P(b,b)=1.  谓词公式的真值为

‏答案: 【 1】

13、填空题：

‏假设个体域D={a,b}；P(a,a)=1, P(a,b)=0, P(b,a)=0, P(b,b)=1.  谓词公式的真值为

‍答案: 【 0】

谓词逻辑单元测验

1、单选题：
以下哪个不是谓词公式？‎
选项：
A:  F(x)
B: F(x)ØÚG(x,y)
C: "x(F(x)®G(x))
D: $x"y(F(x)®G(y)ÙL(x,y))
答案: 【 F(x)ØÚG(x,y)】

2、单选题：
在公式："x(F(x)®G(x) ÙH(y) ) Ù$zR(z)中，自由出现的变元是​
选项：
A: 第一个x
B: 第二个x
C: y
D: z
答案: 【 y】

3、单选题：
以下哪个选项是错误的？‎‎​‎
选项：
A: ØØ"xF(x)Û"xF(x)
B: Ø("xF(x) Ú$yG(y))ÛØ"xF(x) Ú$yG(y)
C: ﹁"xP(x)Û$x(﹁P(x))
D: "xA(x) Ù"xB(x)Û"x(A(x) ÙB(x))
答案: 【 Ø("xF(x) Ú$yG(y))ÛØ"xF(x) Ú$yG(y)】

4、单选题：
以下哪个选项是错误的？‏‍‏
选项：
A: "x"yA(x,y)Û"y"xA(x,y)
B: $x$yA(x,y)Û$y$xA(x,y)
C: $xA(x) Ú $xB(x)Û$x(A(x) Ú B(x))
D:  "x$yA(x,y)Û$y"xA(x,y)
答案: 【  "x$yA(x,y)Û$y"xA(x,y)】

5、单选题：
以下哪个选项是错误的？‍
选项：
A: "x"yA(x,y)Þ "y"xA(x,y)
B: "x"yA(x,y)Þ $y"xA(x,y)
C: "x$yA(x,y)Þ $y"xA(x,y)
D:  $y"xA(x,y)Þ"x $yA(x,y)
答案: 【 "x$yA(x,y)Þ $y"xA(x,y)】

6、单选题：
有命题如下：任意实数x，总存在实数y，使得y<x成立。设：‍F(x)：x是实数‍G(x, y)：x < y‍在谓词逻辑范围内对该命题正确的符号化表示是？‍
选项：
A: "x"y(F(x) ÙF(y) ®G(y,x))
B: "x$y(F(x) ÙF(y) ®G(y,x))
C: "x (F(x) Ù$y(F(y) ®G(y,x)))
D:  "x$y (F(x) ® (F(y) ÙG(y,x)))
答案: 【  "x$y (F(x) ® (F(y) ÙG(y,x)))】

7、单选题：
以下哪个公式是前束范式？‎
选项：
A: "x"y(F(x) ÙF(y) ®G(y,x))
B: "x (F(x) Ù$y(F(y) ®G(y,x)))
C: "x (F(x) Ù F(y) ®$y G(y,x))
D: "x (F(x) Ù "y F(y) ® G(y,x))
答案: 【 "x"y(F(x) ÙF(y) ®G(y,x))】

8、多选题：
‎设个体域为整数集，下列公式中其真值为0的是哪几个公式？‌
选项：
A: ∀x∃y(x+y=0)
B: ∃y∀x(x+y=0)
C: ∀x∀y(x+y=0)
D: ﹁∃y∃x(x+y=0)
答案: 【 ∃y∀x(x+y=0);
∀x∀y(x+y=0);
﹁∃y∃x(x+y=0)】

9、多选题：
‎下列公式正确的是?‎‎‎‎‎
选项：
A: ∀x(A(x)∧B(x))=>∀xA(x)∧∀x B(x)
B: ∀x(A(x)∨B(x))=>∀x A(x)∨∀x B(x)
C: ∃x(A(x)∨B(x))=>∃xA(x)∨∃x B(x)
D: ∃xA(x)∧∃x B(x) =>∃x(A(x)∧B(x))
答案: 【 ∀x(A(x)∧B(x))=>∀xA(x)∧∀x B(x);
∃x(A(x)∨B(x))=>∃xA(x)∨∃x B(x)】

10、多选题：
下述不是∀x∃yP(x,y)否定的是?‍
选项：
A: ∀x∀y(﹁P(x,y))
B: ∃x ∀y (﹁P(x,y))
C: ∀x∃y(﹁P(x,y))
D: ∃x ∃y(﹁P(x,y))
答案: 【 ∀x∀y(﹁P(x,y));
∀x∃y(﹁P(x,y));
∃x ∃y(﹁P(x,y))】

11、判断题：
​谓词公式∀x（F(x) ®G(x))∧﹁∀y(F(y) ®G(y)）的类型是永真式。‌
选项：
A: 正确
B: 错误
答案: 【 错误】

12、判断题：
‍设个体域{1,2}，谓词P(1)=1，P(2)=0，Q(1)=0,Q(2)=1，则∀x（P(x) ∨Q(x)）的真值是1。‎
选项：
A: 正确
B: 错误
答案: 【 正确】

13、判断题：
‏谓词公式∀xP(x) ®(∀x﹁Q(x) ®﹁∃xQ(x))的类型是永真式。‌
选项：
A: 正确
B: 错误
答案: 【 正确】

14、判断题：
‎设个体域为A={a,b}，公式∀xP(x) ∧∃xS(x)消去量词后应为P(x)∧S(x).​‎​
选项：
A: 正确
B: 错误
答案: 【 错误】

15、判断题：
‍判断此式是否正确：∀x(P(x)∨Q(x)) ⇔∀xP(x) ∨∀x Q(x)‌
选项：
A: 正确
B: 错误
答案: 【 错误】

集合单元测验

1、单选题：
‏基数是3的集合是？‌
选项：
A: 空集
B:  {x | 3 < x < 7}
C:  {1, 1, 2, 2, 3}
D: {x | x是选修北京科技大学离散数学慕课的人}
答案: 【  {1, 1, 2, 2, 3}】

2、单选题：
‍以下错误的是？​
选项：
A: AÍA∪B
B: AÍP(A)
C: A-B ÍA
D: A∩BÍA
答案: 【 AÍP(A)】

3、单选题：
‎以下哪个选项是错误的？‏‎‏
选项：
A:  {x} Í {x}
B:  {x} ∈{x}
C:  {x} Í{x, {x}}
D: {x} ∈{x, {x}}
答案: 【  {x} ∈{x}】

4、单选题：
‎在[1, 100]上，既不能被3和5，也不能被7整除的整数有多少个？​
选项：
A: 27
B: 33
C: 45
D: 62
答案: 【 45】

5、单选题：
‌A、B、C是任意集合，以下正确的是？​
选项：
A: A´B = B´A
B: (A´B)´C = A´(B´C)
C: A´(B∪C) = (A´B)∪(A´C)
D: 如果A´C Í B´C，则A Í B
答案: 【 A´(B∪C) = (A´B)∪(A´C)】

6、单选题：
​ A、B是任意集合，以下错误的是？‌
选项：
A:  AÅB = (A-B) ∩ (B-A)
B:  (AÅB)ÅC=AÅ(BÅC)
C:  AÅA=Æ
D:  AÅB=BÅA
答案: 【  AÅB = (A-B) ∩ (B-A)】

7、单选题：
‌ A、B、C是任意集合，以下正确的是？‏
选项：
A:  (AÍB)∧(B∈C) Þ A∈C
B:  (A∈B)∧(B∈C) Þ A∈C
C: (A∈B)∧(B∈C) Þ A Ï C
D: (AÍB)∧(BÍC) Þ AÍC
答案: 【 (AÍB)∧(BÍC) Þ AÍC】

8、多选题：
‍已知A={1}，B={2}，求ρ(A∩B)与ρ(A)∩ρ(B)的值为‍
选项：
A: {Ø}
B: ρ(A∩B)
C: {Ø,{1},{2},{1,2}}
D: {Ø,{1},{2} }
答案: 【 {Ø};
ρ(A∩B)】

9、多选题：
‏由A⊕C = A⊕D, A∪B = A∪C, A∩C 能够推出‌
选项：
A: A=B
B: B=C
C: C=D
D: D=A
答案: 【 B=C;
C=D】

10、多选题：
‎下述推理用到了什么定律？​‎A∩（A∪B）​‎   =（A∪Ø）∩（A∪B）​‎   = A∪(Ø∩B)​‎   =A∪Ø​‎   =A​
选项：
A: 同一律
B: 分配律
C: 零律
D: 交换律
答案: 【 同一律;
分配律;
零律】

11、判断题：
​{ x } ∈ { x , { x } }‎​‎
选项：
A: 正确
B: 错误
答案: 【 正确】

12、判断题：
‌设A、B、C为任意集合， ( A∈B ) ∧ ( B∈C) →A∈C​
选项：
A