2020 离散数学(泉州师范学院)1457366441 最新满分章节测试答案

本答案对应课程为:点我自动跳转查看
本课程起止时间为:2020-03-28到2046-07-19
本篇答案更新状态:暂停更新

第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)
答案: 【“x$y P(x,y) Þ $x”y P(x,y) 】

5、 问题:以下谓词公式中，( )不是逻辑有效式。
选项：
A:($x)(P(x)∧Q(x)) Þ ($x) P(x)∧($x) Q(x)
B:(“x)(P(x)∧Q(x)) Þ (“x) P(x)∧(“x) Q(x)
C:($x)(P(x)∧Q(x)) Û ($x) P(x)∧($x) Q(x)