求与下面谓词公式等值的前束范式_谓词公式x(p(x)yr(y))q(x)中量词x的作用域是()...

谓词公式x(p(x)yr(y))q(x)中量词x的作用域是()

(7页)

本资源提供全文预览，点击全文预览即可全文预览,如果喜欢文档就下载吧，查找使用更方便哦！

19.90 积分

一、 选择题1. 谓词公式"x(P(x)Ú$yR(y))®Q(x)中量词"x的作用域是()A. "x(P(x)Ú$yR(y)) B.P(x)C. (P(x)Ú$yR(y)) D.P(x)，Q(x)2. 谓词公式"x(P(x)Ú$yR(y))®Q(x)中变元x是()A.自由变量 B.约束变量C.既不是自由变量也不是约束变量D.既是自由变量也是约束变量3. 若个体域为整体域，下列公式中哪个值为真？()A."x$y(x+y=0) B.$y"x(x+y=0)C."x"y(x+y=0) D.Ø$x$y(x+y=0)4. 设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式$x(P(x)ÙQ(x))在下面哪个论域中是可满足的？()A.自然数集 B.整数集 C.实数集 D.以上均不成立5. 设C(x)：x是运动员，G(x)：x是强壮的。命题“没有一个运动员不是强壮的”可符号化为()A.Ø"x(C(x)ÙØG(x)) B.Ø"x(C(x)®ØG(x))C.Ø$x(C(x)ÙØG(x)) D.Ø$x(C(x)®ØG(x))6. 设A(x)：x是人，B(x)：x犯错误，命题“没有不犯错误的人”符号化为()A."x(A(x)ÙB(x)) B.Ø$x(A(x)®ØB(x))C.Ø$x(A(x)ÙB(x)) D.Ø$x(A(x)ÙØB(x))7. 设Z(x)：x是整数，N(x)：x是负数，S(x,y)：y是x的平方，则“任何整数的平方非负”可表示为下述谓词公式()A."x"y(Z(x)ÙS(x,y)®ØN(y))B."x$y(Z(x)ÙS(x,y)®ØN(y))C."x"y(Z(x)®S(x,y)ÙØN(y))D."x(Z(x)ÙS(x,y)®ØN(y))8. 令F(x)：x是火车，G(y)：y是汽车，H(x,y)：x比y快。则语句“某些汽车比所有的火车慢”可表示为()A.$y(G(y)®"x(F(x)ÙH(x,y)))B.$y(G(y)Ù"x(F(x)®H(x,y)))C."x$y(G(y)®(F(x)ÙH(x,y)))D.$y(G(y)®"x(F(x)®H(x,y)))9. 设个体域A={a,b}，公式"xP(x)Ù$xS(x)在A中消去量词后应为()A.P(x)ÙS(x)B.P(a)ÙP(b)Ù(S(a)ÚS(b))C.P(a)ÙS(b)D.P(a)ÙP(b)ÙS(a)ÙS(b)10. 在谓词演算中，下列各式哪个是正确的？()A.$x"yA(x,y)Û"y$xA(x,y)B.$x$yA(x,y)Û$y$xA(x,y)C.$x"yA(x,y)Û"x$yA(x,y)D."x"yA(x,y)Û"y"xA(x,y)11. 下列各式哪个不正确？()A."x(P(x)ÚQ(x))Û"xP(x)Ú"xQ(x)B."x(P(x)ÙQ(x))Ü"xP(x)Ù"xQ(x)C.$x(P(x)ÚQ(x))Û$xP(x)Ú$xQ(x)D."xP(x)ÙQ)Û"xP(x)ÙQ12. 下面谓词公式哪个是前束范式？()A."x"y$z(B(x,y)®A(z))B.Ø"x$yB(x,y)C.$x"y"x(A(x,y)ÙB(x,y))D."x(A(x,y)®$yB(y))13. 在谓词演算中：P(a)是"xP(x)的有效结论，其理论根据是()A.全称规定规