一、单项选择题(共 10 道试题,共 100 分。)
1. 设A(x):x是人,B(x):x是学生,则命题"不是所有人都是学生"可符号化为( C).
A. (x)(A(x)uB(x))
B. ?(x)(A(x)uB(x))
C. ?("x)(A(x)?B(x))
D. ?(x)(A(x)u?B(x))
2. 谓词公式是(A ).
A. 不可满足的
B. 可满足的
C. 有效的
D. 蕴含式
3. 命题公式的析取范式是( A ).
A.
B.
C.
D.
4. 下列等价公式成立的为( A ).
A. ?PuP ??QuQ
B. ?Q?P?P?Q
C. PuQ?PuQ
D. ?PuP ?Q
5. 在谓词公式("x)(A(x)→B(x)uC(x,y))中,( C ).
A. x,y都是约束变元
B. x,y都是自由变元
C. x是约束变元,y都是自由变元
D. x是自由变元,y都是约束变元
6. 命题公式(PuQ)?Q为( B )
A. 矛盾式
B. 可满足式
C. 重言式
D. 合取范式
7. 命题公式(PuQ)?R的析取范式是 ( D )
A. ?(PuQ)uR
B. (PuQ)uR
C. (PuQ)uR
D. (?Pu?Q)uR
8. 设A(x):x是人,B(x):x是工人,则命题"有人是工人"可符号化为( A ).
A. (x)(A(x)uB(x))
B. ("x)(A(x)uB(x))
C. ?("x)(A(x)?B(x))
D. ?(x)(A(x)u?B(x))
9. 下列公式中 ( B )为永真式.
A. ?Au?B ? ?Au?B
B. ?Au?B ? ?(AuB)
C. ?Au?B ? AuB
D. ?Au?B ? ?(AuB)
10. 设个体域D={a, b, c},那么谓词公式消去量词后的等值式为 A .
A. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
B. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
C. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
D. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
1
来源:网络整理 免责声明:本文仅限学习分享,如产生版权问题,请联系我们及时删除。
相关文章:
实验室新购回一批药品:①红磷;②大理石;③铁丝;④酒精;⑤硫04-30
一对啮合齿轮,甲轮有15齿,乙轮有四十齿,其中莫一对指04-30
李叔和王叔的钱是6:5,现在给李叔300元,给王叔1800元,04-30
()闻()见如题,在()里填一对反义词04-30
下列实例利用了光的反射的是()A.用棱镜分解太阳光B.开凿04-30
实验室存放腐蚀性药品的专柜应粘贴下列哪种标志?()A.B.C.04-30
帮帮忙,五年级-数学下-口算题卡+应用题专项-北师课标版04-30