谓词公式x(P(x)yR(yQ(x)中量词x的作用域是().docVIP

选择题 谓词公式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) 谓词公式x(P(x)ú$yR(y))?Q(x)中变元x是（） A.自由变量 B.约束变量 C.既不是自由变量也不是约束变量 D.既是自由变量也是约束变量 若个体域为整体域，下列公式中哪个值为真？（） A.x$y(x+y=0) B.$yx(x+y=0) C.xy(x+y=0) D.?$x$y(x+y=0) 设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式$x(P(x)ùQ(x))在下面哪个论域中是可满足的？（） A.自然数集 B.整数集 C.实数集 D.以上均不成立 设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)) 设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)) 设Z(x)：x是整数，N(x)：x是负数，S(x,y)：y是x的平方，则“任何整数的平方非负”可表示为下述谓词公式（） A.xy(Z(x)ùS(x,y)??N(y)) B.x$y(Z(x)ùS(x,y)??N(y)) C.xy(Z(x)?S(x,y)ù?N(y)) D.x(Z(x)ùS(x,y)??N(y)) 令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))) 设个体域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) 在谓词演算中，下列各式哪个是正确的？（） A.$xyA(x,y)?y$xA(x,y) B.$x$yA(x,y)?$y$xA(x,y) C.$xyA(x,y)?x$yA(x,y) D.xyA(x,y)?yxA(x,y) 下列各式哪个不正确？（） 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)ùQ 下面谓词公式哪个是前束范式？（） A.xy$z(B(x,y)?A(z)) B.?x$yB(x,y) C.$xyx(A(x,y)ùB(x,y)) D.x(A(x,y)?$yB(y)) 在谓词演算中：P(a)是xP(x)的有效结论，其理论根据是（） A.全称规定规则(US) B.全称推广规则(UG) C.存在规定规则(ES) D.存在推广规则(EG) 填空题 令R(x)：x是实数，Q(x)：x是有理数。 命题“并非每个实数都是有理数”。其符号化为 ① 。 命题“虽然有些实数是有理数，但并非一切实数都是有理数”。则其符号化可表示为 ② 。 2. 设G(x)：x是金子，F(x)：x是闪光的，则命题“金子是闪光的，但闪光的不一定是金子”符号化为 。 3. 设C(x)：x是计算机，P(x,y)：x能做y，I(x)：x是智能工作，则命题“并非所有智能工作都能由计算机来做”符号化为 。 设Q(x)：x是偶数，P(x)：x是素数，则命题“存在惟一一个偶素数”可符号化为 ① ，“至多存在一个偶素数”可符号化为 ② 。 5. 设Q(x)：x是奇数，Z(x)：x是整数，则语句“不是所有整数都是奇数”所对应的谓词公式为 。 6. 设个体域为自然数集，P(x)：x是奇数，Q(x)：x是偶数，则命题“不存在既是奇数又是偶数的自然数”可符号化为 。 7. 设个体域为全总个体域，R(x)：x是实数，Q(x)：x是有理数，Z(x)：x是整数，则命题“所有的有理数是实数”，“有些有理数是整数”，“有些有理数是实数担不是整数”符号化分别为 ① ， ② ， ③ 。 8. x