第2章 谓词逻辑参考答案.docVIP

第2章 谓词逻辑参考答案 1.（1）设W(x)：x是工人；c：小张。原命题可符号化为：?W(c)。 （2）设S(x)：x是田径运动员；B(x)：x是球类运动员；h：他。原命题可符号化为： S(h)?B(h)。 （3）设C(x)：x是聪明的；B(x)：x是美丽的；l：小莉。原命题可符号化为： C(l)?B(l)。 （4）设O(x)：x是奇数。原命题可符号化为：O(m)??O(2m) （5）设P(x，y)：直线x平行于直线y；G(x，y)：直线x相交于直线y。原命题可符号化为：P(x，y)??G(x，y)。 （6）设O(x)：x是老的；V(x)：x是健壮的；j：王教练。原命题可符号化为： ?O(j)??V(j)。 （7）设L(x, y)：x大于y。原命题可符号化为：L(5,4)?L(4,6)。 2.（1）存在自然数x，对任意自然数y满足xy=1； a)0 b)0 c)0 d)0 （2）对每个自然数x，存在自然数y满足xy=1； a)0 b)0 c)0 d)1 （3）对每个自然数x，存在自然数y满足xy=0； a)1 b)1 c)0 d)0 （4）存在自然数x，对任意自然数y满足xy=1； a)1 b)1 c)0 d)0 （5）对每个自然数x，存在自然数y满足xy=x； a)1 b)1 c)1 d)1 （6）存在自然数x，对任意自然数y满足xy=x； a)1 b)1 c)0 d)0 （7）对任意自然数x,y，存在自然数z满足x-y=z。 a)1 b)1 c)0 d)0 3.（1）?$xL(x,0) （2）xyz((L(x,y)?L(y,z))?L(x,z)) （3）xy((L(x,y)?$z(L(z,0)?G(xz,yz))) （4）$xyM(x,y,y) （5）x$yA(x,y,x) 4. $!xP(x)可用以下具有相同的意义的谓词公式表示 $x(P(x)?y(P(y)?y=x)) 5. 设R(x)：x是兔子；T(x)：x是乌龟。F(x，y)：x比y跑得快；S(x，y)：x与y跑得同样快。 （1）xy(R(x)?T(y)?F(x，y)) （2）$x(R(x)?y(T(y)?F(x，y))) （3）?xy(R(x)?T(y)?F(x，y)) （4）?$x$y(R(x)?R(y)?S(x，y)) 6.（1）设M(x)：x是数学家；A(x)：x是天文学家；g：高斯，则原命题可表示为： M(g)??A(g) （2）设O(x)：x是奇数；E(x)：x是偶数，则原命题可表示为： ?$x(O(x)?E(x)) （3）设P(x)：x是质数；E(x)：x是偶数，则原命题可表示为： x(P(x)?E(x)?x=2) （4）设C(x)：x是猫；M(x)：x是耗子；G(x)：x是好的；K(x, y)：x会捉y，则原命题可表示为： $x(C(x)?y(M(y)??K(x,y))?x(C(x)?y(M(y)?K(x,y))?G(x)) （5）设G(x)：x是金子；L(x)：x是发亮的，则原命题可表示为： ?x(L(x)?G(x)) （6）设M(x)：x是男人；F(x)：x是女人；H(x, y)：x比y高，则原命题可表示为： ?x(M(x)?$y(F(y)?H(x,y)))?$x(M(x)?y(F(y)?H(x,y))) （7）设M(x)：x是人；B(x,y)：x相信y，则原命题可表示为： x(M(x)??$y(M(y)?x≠y?B(x,y))??$z(M(z) ?x≠z?B(z,x))) （8）设C(x)：x是星球；M(x)：x是人；A(x)：x是天文学家；e：地球；H(x,y)：x有y；S(x)：x惊讶，则原命题可表示为： $x(C(x)?x≠e?$y(M(y)?H(x,y)))?x(A(x)??S(x)) （9）设Q(x,y)：x指向y；J(x,y)：x奔向y；p：党；w：我们, 则原命题可表示为： x(Q(p，x)?J(w，x)) （10）设M(x)：x是人；K(x)：x游戏人生；L(x)：x一事无成；H(x, y)：x主宰y；N(x)：x是奴隶，则原命题可表示为： x(M(x)?K(x)?L(x))?x(?H(x, x)?N(x)) 7. 设N(x)：x是一个数；S(x，y)：y是x的后继数（即x是y的直接先行者，例如2的直接先行 者是1） （1）x(N(x)?$!y(N(y)?S(x，y))) （2）?$x(N(x)?S(x，1)) （3）x(N(x)??S(x，2)?$!y(N(y)?S(y，x))) 8.（1）5是质数。 （2）2是偶数且2是质数。