2024知到答案 离散数学（泰山学院） 最新知到智慧树满分章节测试答案
第一章 单元测试
1、 问题:下列哪个命题公式是重言式？( )
选项：
A:
，
B:
，
C:
，
D:
，
答案: 【
，
】
4、 问题:若解释I使命题公式A为真，使公式A®B也为真，则解释I使公式B为( ）。
选项：
A:真，
B:假，
C:可满足，
D:与解释I无关
答案: 【
真，
】
5、 问题:任何两个重言式的合取或析取，仍然是一个重言式。（ ）
选项：
A:对
B:错
答案: 【
对
】
6、 问题:命题公式
等值于（ ）。
选项：
A:
，
B:
C:
，
D:
,
答案: 【
,
】
7、 问题:n个命题变项可以产生（ ）个互不等值的极小项。
选项：
A:n，
B:
，
C:2n，
D:
,
答案: 【
,
】
第二章 单元测试
1、 问题:设L(x,y):x大于y，则L(x,y)是一个命题。 （ ）
选项：
A:对
B:错
答案: 【
错
】
2、 问题:在一阶逻辑中将命题符号化时，针对不同的个体域，同一个命题符号化之后的结果可能相同也可能不同。 （ ）
选项：
A:对
B:错
答案: 【
对
】
3、 问题:给定解释N如下：
在解释N下，下面公式中真命题有（ ）。
选项：
A:
B:
C:
D:
答案: 【
】
4、 问题:下列公式中，逻辑有效式是（ ）。
选项：
A:
B:
C:
D:
答案: 【
】
5、 问题:在一阶逻辑中，任何合式公式都存在与之等值的前束范式，并且前束范式是唯一存在的。（ ）
选项：
A:对
B:错
答案: 【
错
】
6、 问题:每列火车都比某些汽车快。
，
则该命题符号化为（ ）
选项：
A:
B:
C:
D:
答案: 【
】
7、 问题:给定解释I如下：
下列公式为真的是（ ）
选项：
A:
B:
C:
D:
答案: 【
】
10、 问题:
，请问哪几个正确（ ）
选项：
A:
B:
C:
D:
答案: 【
】
第三章 单元测试
1、 问题:
为真。（ ）
选项：
A:对
B:错
答案: 【
对
】
本文章不含期末不含主观题！！
本文章不含期末不含主观题！！
支付后可长期查看
有疑问请添加客服QQ 2356025045反馈
如遇卡顿看不了请换个浏览器即可打开
请看清楚了再购买哦，电子资源购买后不支持退款哦
