谓词逻辑复习题答案.doc

。谓词逻辑一、选择题(每题3分)A?{a,b}?x(F(x)?G(x))消去量词后,可表示为为(C,则谓词公式)1、设个体域(F(a)?F(b))?(G(a)?G(b))(F(a)?F(b))?(G(a)?G(b))、B、A(F(a)?G(a))?(F(b)?G(b))(F(a)?G(a))?(F(b)?G(b))DC、、??y,x?x?yR}ba,A?{去掉量词后,可表示为(2、设个体域D),则谓词公式????????????????bb?bR?RR,b,bRba,aR,a,a??RRa,ba?Rab,a,?、BA、????????????????????????b?R?R,b,Ra,aa?Rba,bba,??RRa,b,a?,RbRbaC、D、????????????????b?Rba,bR?R??yRa,y,??yRbb,y,?Raa,a?提示:原式}b?{a,D)x?xP(P1的谓词)满足(的真值为D3、设个体域,使谓词公式1?(b)P(b)?0P(a)?1,P)a)?0,P(b)?0P(a)?0,P(b)?1P(a?1,P(C、B、A、、D))x?Q()Q(x)?x(P(x)(D?{2}Px4x?3?x)4、设个体域A:则谓词公式,,为(:,、可满足式D、无法判定A、永真式B、永假式C)),y?(G(x,y)?F(xF(x,y))的真值(D5、谓词公式、与谓词变元无关,与论述域有关、与谓词变元有关,与论述域无关BA、与谓词变元和论述域都有关D、与谓词变元和论述域都无关CT?pp)??p?(?q?)p?(q?.提示:)y,y)??x?yP(x,?y?xP(x)D6、谓词公式的真值(、与谓词变元无关,与论述域有关BA、与谓词变元有关,与论述域无关D、与谓词变元和论述域都无关C、与谓词变元和论述域都有关x)x)??yR(y))?Q(?x(P(x)中的变元(7、谓词公式C、仅是约束的A、仅是自由的B、既不是自由的也不是约束的C、既是自由的也是约束的Dxx)P)(xH(xD8、设::全总个体域,:是人,要死的,)则命题“人总是要死的”的逻辑符号化为(D))(H(x)?P(xx?P())?x(H(x)?P(x))?xP?x(H(x)?(x))?x(H(x)A、、B、、DCxx)xP(x)(HD犯错误,:全总个体域,::、设9是人,则命题“没有不犯错误的人”的逻辑符号化为(D)))(xx)?P))x(H(x)?P(x?x(H((??x(H(x)P(x))?x(H(x)?Px))?A、、C、B、Dxxxy)yxF(x),M(x)H(D是花,10、设是人,:全总个体域,喜欢:,::)则命题“有的人喜欢所有的花”的逻辑符号化为(D))y(x,x)??y(F(y)?H((?x(M(x)??y(Fy)?H(x,y))?x(M、A、B)),y??y(F(y)?H(x(((x)??yF(y)?H(x,y))?xM(x)(?xM、、CDxxxy)y(x(Jx),L(x)AD钦佩::11、设::全总个体域,,是演员,是老师,(B)则命题“所有演员都钦佩某些老师”的逻辑符号化为)))y)?A(x,y(x?A(,y))?x(L(x)??yJ((?xL(x)B、A、))yA(x,?))?x?y(L(x)J(y)?()?x?y(L(x?J(y)?Ax,yD、C、xP(B)是不含自