谓词公式x(P(x)yR(y))Q(x)中量词x的作用域是.doc

选择题 谓词公式(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.(y(x(x+y=0) C.(x(y(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.(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)) 令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.(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) 下列各式哪个不正确？（） 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.(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)) 在谓词演算中：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是整数，则命题“所有的有理数是实数”，“有些有理数是整数”，“有些有理数是实数担不是整数