大学MOOC 离散数学(泉州师范学院)1456904161 最新慕课完整章节测试答案
第2讲 命题逻辑
第2讲单元测试
1、单选题：
下列语句中哪些是命题？
选项：
A: x-y=10。
B: 我可以过来么？
C: 真辛苦啊！
D: 除非下雨，苗苗一定会去图书馆看书。
答案: 【 除非下雨，苗苗一定会去图书馆看书。】
2、单选题：
下列语句中是原子命题的是？
选项：
A: 只要是在教室，就不允许吸烟。
B: 红色和蓝色在一起可以调配成紫色。
C: 如果米老鼠和机器猫都是不存在的，那么很多孩子都被欺骗了。
D: 2是素数当且仅当乌龟会飞。
答案: 【 红色和蓝色在一起可以调配成紫色。】
3、单选题：
下述命题的真值为假的是？
选项：
A: 如果1+1=3，那么太阳从东方升起。
B: 如果1+1=3，那么太阳从西方升起。
C: 如果太阳从东方升起，那么1+1=3。
D: 如果太阳从西方升起，那么1+1=3。
答案: 【 如果太阳从东方升起，那么1+1=3。】
4、单选题：
下述真值表表示的命题是（ ）。InputOutputpqrTTTTTTFFTFTTTFFTFTTTFTFTFFTTFFFT
选项：
A: (qÞr)Þ(p∧q)
B: (qÞr)Þ(p∨q)
C: (p∨q)Þ(qÞr)
D: (p∧q)Þ(qÞr)
答案: 【 (p∧q)Þ(qÞr)】
5、单选题：
以下有（ ）个命题公式是析取范式形式。 p∧~q ~p∨q r p∧(~q∨~q)
选项：
A: 1
B: 2
C: 3
D: 4
答案: 【 3】
6、单选题：
以下命题公式中，( )是矛盾式。
选项：
A: ~(pÞq)∧q
B: rÞ((pÞq)∨~q)
C: p∧(q∨r)
D: p∧(q Þr)
答案: 【 ~(pÞq)∧q】
7、单选题：
以下哪一个是 (r Û q) Þ (~p∧p) 的成真指派？
选项：
A: 010
B: 111
C: 000
D: 011
E: 101
答案: 【 010;
101】
8、单选题：
以下逻辑公式中，（ ）是(~p∨~q)Þ(pÛ~q)的主析取范式。
选项：
A: (p∧q)∨(p∧~q)∨(~p∧q)
B: p∨q
C: (p∧q)∨(p∧~q)
D: (p∧~q)∨(~p∧q)
答案: 【 (p∧q)∨(p∧~q)∨(~p∧q)】
9、单选题：
( )不是正确的推理形式。
选项：
A: 前提： ~p∧q, p∨~r, r∨s, sÞu结论： u
B: 前提： p∨q, pÛr, ~q∨s结论： s∨r
C: 前提： pÞ(qÞr)结论： (pÞq)Þ(pÞr)
D: 前提： (p∧q)Þr, ~r∨s, ~s, p结论： q
答案: 【 前提： (p∧q)Þr, ~r∨s, ~s, p结论： q】
10、判断题：
(p∨q)Þr º (pÞr)∧(qÞr) ？
选项：
A: 正确
B: 错误
答案: 【 正确】
11、判断题：
设p: 发生了堵车，q: 他起晚了，r: 他迟到了，则用逻辑符号表示命题“今天虽然他起晚了，但是没有堵车，所以他没有迟到。”为
选项：
A: 正确
B: 错误
答案: 【 错误】
12、判断题：
p∨q与~q∨~r归结的结果是p∨r。
选项：
A: 正确
B: 错误
答案: 【 错误】
第3讲 谓词逻辑
第3讲单元测试
1、单选题：
以下（ ）不是
的子公式。
选项：
A: 
B: 
C: 
D: 
答案: 【 】
2、单选题：
在谓词公式("x)(F(x)ÞG(y))Þ($y)(H(x)∧L(x, y, z))中，("x)的辖域是（ ）
选项：
A: (F(x)ÞG(y))
B: F(x)
C: (F(x)ÞG(y))Þ($y)(H(x)∧L(x, y, z))
D: ("x)(F(x)
答案: 【 (F(x)ÞG(y))】
3、单选题：
以下谓词公式中，( )是逻辑有效式。
选项：
A: "x Q(x) Þ ($x Q(x)∨"y S(y) )
B: $x(A(x)ÞB) Û $xA(x)ÞB
C: $x(A(x)∧B(x)) Û $xA(x)∧$xB(x)
D: "x$y P(x,y) Þ $x"y P(x,y)
答案: 【 "x Q(x) Þ ($x Q(x)∨"y S(y) ) 】
4、单选题：
以下谓词公式中，( )不是逻辑有效式。
选项：
A: "x P(x) Þ ("x P(x)∨$y G(y) )
B: "x(A(x)ÞB) Û $xA(x)ÞB
C: "x(A(x)∧B(x)) Û "xA(x)∧"xB(x)
D: "x$y P(x,y) Þ $x"y P(x,y)
答案: 【 "