资源描述：
《谓词公式x(p(x)yr(y))q(x)中量词x的作用域是()》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、一、选择题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))在下面哪个论域中是可
2、满足的？（）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的平方，则“任何整数的平
3、方非负”可表示为下述谓词公式（）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
4、)Ù$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)
5、Ú$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))1.在谓词演算中：P(a)是"xP(x)的有效结论，其理论根据是（）A.全称规定规则(US)B.全称推广规则(UG)C.存在规定规则(ES)D.存在推广规则(EG)二、填空题1.令R(x)：x是实数，Q(x)：x是有理数。(1)命题“并非每个实数都是有理数”。其符号化为①。(2)命题“虽然有些实数是有理数，但并非一切实数都是有理数”。则其符号化可
6、表示为②。2.设G(x)：x是金子，F(x)：x是闪光的，则命题“金子是闪光的，但闪光的不一定是金子”符号化为。3.设C(x)：x是计算机，P(x,y)：x能做y，I(x)：x是智能工作，则命题“并非所有智能工作都能由计算机来做”符号化为。4.设Q(x)：x是偶数，P(x)：x是素数，则命题“存在惟一一个偶素数”可符号化为①，“至多存在一个偶素数”可符号化为②。5.设Q(x)：x是奇数，Z(x)：x是整数，则语句“不是所有整数都是奇数”所对应的谓词公式为。6.设个体域为自然数集，P(x)：x是奇数，Q(x)：x是偶数，则命题“不存在既是奇数又是偶数的自然数”可符号化为。7.设个体域为全
7、总个体域，R(x)：x是实数，Q(x)：x是有理数，Z(x)：x是整数，则命题“所有的有理数是实数”，“有些有理数是整数”，“有些有理数是实数担不是整数”符号化分别为①，②，③。8."x"y(P(x,y)ÙQ(y,z))Ù$xP(x,y)中"x的作用域为①，"y的作用域为②，$x的作用域为③。9.公式"x(P(x)®Q(x,y)Ú$R(y,z))®S(x)中自由变量为①，约束变量为②。10.取个体域为整数集，给定下列公式：(1)."x$y(x·
