定理21.8(可靠性定理):设AcP(Y)peP(Y 若AFp,则有AF 对证明序列长度用归纳法 冷其他与命题逻辑类似考虑pn=Vxq(x) 设q1(x),q2(x),…q(x)=q(x)是由A的子集导 出q的证明序列其中 XEvar(A0) 利用量词深度, 冷设d(Pn)=r引进新变量x'XUC, 根据赋值概念讨论 由于增加了新变量,必须构造新的谓词代数 P(Y") 冷构造P(Y到P(Y)的半同态映射 今利用代换定理❖ 定理21.8(可靠性定理):设AP(Y),pP(Y)。 若A┣p，则有A╞p。 ❖ 对证明序列长度用归纳法 ❖ 其他与命题逻辑类似,考虑pn =xq(x) ❖ 设q1 (x), q2 (x),… qk (x)=q(x)是由A的子集导 出q的证明序列,其中xvar(A0 ) ❖ 利用量词深度, ❖ 设d(pn )=r,引进新变量x'X∪C, ❖ 根据赋值概念讨论 ❖ 由于增加了新变量,必须构造新的谓词代数 P(Y') ❖ 构造P(Y)到P(Y')的半同态映射 ❖ 利用代换定理