诽趁履患鼎健日阜席传侥刊汐
澎蔑抬案混吾醇度杀都绿淮瞎
第一章 单元测试
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:
答案:
如需购买完整答案,请点击下方红字:
获取更多网课答案,请点击这里,进入www.mengmianren.com
慧创宪变我蓉纷挛粗酪较为绷
糕灵骋详链戊绿仆忌略莆晤犯