谓词逻辑习题课答案精典课件.pptVIP

谓词逻辑习题课;（9）没有一个自然数使数1是它的后继数 ??x (N(x) ∧ L(1,x)) （10）每个不等于1的自然数都有唯一的一个数是它的直接先行者 S(x,y)： x是y的先行者 ?x(N(x)∧? E(x,1)→?!y (N(y)∧S(y,x)∧??z (N(z)∧S(y,z)∧L(z,x)))) 2.变元的约束 （1）对下列谓词公式中的约束变元换名 ?x(P(x)→(R(x)∨Q(x)))∧ ?xR(x)→?zS(x,z) ?y(P(y)→(R(y)∨Q(y)))∧ ?tR(t)→?uS(x,u) （2）对下列谓词公式中的自由变元代入 (?yA(x,y)→?xB(x,z))∧ ?x?zC(x,y,z) (?yA(u,y)→?xB(x,v))∧ ?x?zC(x,w,z) ;3.讨论在给定解释下谓词公式的真值 （1）?x(P→Q(x))∨R(a) D={-2,3,6} , P:21,Q(x):x≤3, R(x):x5,a:5 ?x(P→Q(x))∨R(a)?(P→?xQ(x))∨R(a) ?(P→(Q(-2)∧Q(3)∧Q(6)))∨R(5) ?(T→(T ∧T ∧F ))∨F?(T→F)∨F?F∨F ?F （2）?x?y(P(x)∧Q(x,y)) D= {1,2}， P(1) P(2) Q(1,1) Q(1,2) Q(2,1) Q(2,2) F T T T F F 真值为F;4.判断下列公式是不是永真式，并加以说明 （1）(?xP(x) →?xQ(x)) ? ?x(P(x) →Q(x)) 解：不是永真式，取解释如下 D= {1,2} P(1) P(2) Q(1) Q(2) F T F T 在该解释下?xP(x) 为T，?xQ(x)为F，所以?xP(x) →?xQ(x)为F；而(P(1) →Q(1))为T， (P(2) →Q(2))为T，所以?x(P(x) →Q(x))为T；综上该公式不是永真式 （2）? x ? y(P(x) →Q(y)) →(?xP(x) → ? y Q(y)) 解：是永真式。 证明：法1，形式证明 法2，量词作用域的收缩与扩张公式;5.用形式推理证明： （1）?xP(x)∨?xQ(x)? ?x (P(x)∨Q(x)) (1) ??x (P(x)∨Q(x)) P(假设) (2) ?x?(P(x)∨Q(x)) T(1)E (3) ?(P(c)∨Q(c)) ES(2) (4) ?P(c)∧?Q(c) T(3)E (5) ?P(c) T(4)I (6) ?x?P(x) EG(5) (7) ??x P(x) T(6)E (8) ?xP(x)∨?xQ(x) P (9) ?xQ(x) T(7)(8)I (10) Q(c) US(9) (11) ?Q(c) T(4)I (12) Q(c) ∧?Q(c) T(10)(11)I;（3）任何人如果他喜欢步行，他就不喜欢乘汽车；每个人或者喜欢乘汽车或者喜欢骑自行车。有的人不爱骑自行车，因此有的人不爱步行 设 A(x):x是人, B(x):x是喜欢步行, C(x):x喜欢乘汽车，D(x):x喜欢骑自行车 ?x(A(x)→(B(x)→?C(x))), ?x(A(x)→(C(x)∨D(x))), ?x(A(x)∧?D(x)) ? ?x(A(x)∧?B(x)) ;⑴ ?x(A(x)∧?D(x)) P ⑵ A(a)∧?D(a)) ES ⑴ ⑶ A(a) T ⑵ I ⑷ ?D(a)) T ⑵ I ⑸ ?x(A(x)→(B(x)→?C(x))) P ⑹ A(a)→(B(a)→?C(a)) US ⑸ ⑺ B(a)→?C(a)) T ⑶⑹ I ⑻ ?x(A(x)→(C(x)∨D(x))) P ⑼ A(a)→(C(a)∨D(a))) US⑻ ⑽ C(a)∨D(a) T ⑶⑼ I ⑾ C(a) T ⑷⑽ I ⑿ ?B(a) T ⑺⑾ I ⒀ A(a)∧?B(a)) T ⑶⑿ I ⒁ ?x(A(x)∧?B(x)) EG ⒀;（4）每个大学生不是文科生就是理工科生，有的大学生是优等生，小张不是理工科生，但他是优等生，因此如果小张是大学生，他就是文科生 设 A