趴避坍苟辣暮桂股骋翰锣谢介
第一章 单元测试
1、
设命题公式ØP®(QÙR)，则使公式取真值为1的P，Q，R赋值分别是
A:0, 0, 0
B:0, 0, 1
C:0, 1, 0
D:
1, 0, 0
答案:
1, 0, 0
第二章 单元测试
1、
谓词公式$xA(x) ÙØ $xA(x)的类型是
A:永真式
B:矛盾式
C:非永真式的可满足式
D:以上答案均不正确
答案: 矛盾式
2、
设个体域为整数集，下列公式中其真值为1的是
A:
B:
C:
D:
答案:
3、
A:
B:
C:
D:
答案:
4、
下面给出的一阶逻辑等价式中，错误的是
A:
B:
C:
D:
答案:
5、
A:
B:
C:
D:
答案:
6、
A:与谓词变元有关，与论述域无关
B:与谓词变元无关，与论述域有关
C:与谓词变元和论述域都有关
D:与谓词变元和论述域都无关
答案: 与谓词变元和论述域都无关
7、
A:
B:
C:
D:
答案:
8、
A:
B:
C:
D:
以上答案都不对
答案:
9、
A:
B:
C:
D:
答案:
10、
A:
B:
C:
D:
答案:
11、
A:
B:
C:
D:
答案:
12、
A:
B:
C:
D:
答案:
13、
A:
B:
C:
D:
答案:
14、
A:
B:
C:
D:
答案:
15、
下列四个公式正确的是
A:
B:
C:
D:
答案:
上方为免费预览版答案，如需购买完整答案，请点击下方红字
为了方便下次阅读，建议在浏览器添加书签收藏本网页
添加书签方法：
1.电脑按键盘的Ctrl键+D键即可收藏本网页
2.手机浏览器可以添加书签收藏本网页
我们的公众号
打开手机微信，扫一扫下方二维码，关注微信公众号：萌面人APP
本公众号可查看各种网课答案，还可免费查看大学教材答案
媳捆怪玛操察泵畴哗司蓟校涪