集合谓词逻辑习题课讲述.pptx

一、选择题;3.若个体域为整数域，下列公式中值为真的是（ ） ?x?y(x+y=0) B. ?y?x (x+y=0) C. ?x?y(x+y=0) D. ??x?y(x+y=0) 4.设C(x):x是运动员，G(x):x是强壮的。命题“没有一个运动员不是强壮的”可符号化为（ ） ??x(C(x)??G(x)) B. ??x(C(x)??G(x)) C. ??x(C(x)??G(x)) D. ??x(C(x)??G(x)) ;5.设A(x):x是人， B(x):x犯错误，命题“没有不犯错误的人”符号化为（ ） ?x(A(x)?B(x)) B. ??x(A(x)??B(x)) C. ??x(A(x)?B(x)) D. ??x(A(x)??B(x)) 6.令F(x):x是火车， G(y):y是汽车，H(x,y):x比y快。则语句“某些汽车比所有的火车慢”可表示为（ ） ?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))) ;7.设个体域A={a,b}，公式?xP(x)??xS(x)在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) 8.在谓词演算中，下列各式（ ）是正确的。 ?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?xB(x,y) ;9.下列各式不正确的是（ ） ?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. ?x(P(x)?Q)) ??xP(x)?Q 10.下面谓词公式（ ）是前束范式。 ?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)) ;11.公式?xP(x)??xQ(x) 的前束范式为（ ）。 ?x?y(P(x)?Q(y)) B. ?x?y(P(x)?Q(y)) C. ?x?y(P(x)?Q(y)) D. ?x?y(P(x)?Q(y)) 12.在谓词演算中，P(a)是?xP(x)的有效结论，其理论根据是（ ） 全称指定规则（US） B.全称推广规则（UG） C. 存在指定规则（ES） D.存在推广规则（EG）;13．若集合A={a，b}，B={ a，b，{ a，b }}，则（ ）． A．A?B，且A?B B．A?B，但A?B C．A?B，但A?B D．A?B，且A?B 14．若集合A＝{2，a，{ a }，4}，则下列表述正确的是( )． A．{a，{ a }}?A B．{ a }?A C．{2}?A D. ? ?A 15．若集合A＝{ a，{a}，{1，2}}，则下列表述正确的是( )． A．{a，{a}}?A B．{2}?A C．{a}?A D．??A;16．设集合A = {1, a }，则P(A) = ( )． A．{{1}, {a}} B．{? ,{1}, {a}} C．{?,{1}, {a}, {1, a }} D．{{1}, {a}, {1, a }} 17．若集合A的元素个数为10，则其幂集的元素个数为（ ）． A．1024 B．10 C．100 D．1;二、填空题;4.公式?x(P(x)?Q(x,y)??zR(y,z))?S(x)中的自由变元为（ ），约束变元为（ ）。 5.个体域为{1,2}，命题?x?y(x+y=4)的真值为（ ）。 6.设个体域为A={a,b,c}，消去公式?xP(x)??xQ(x)中的量词，可得（）。