第三章演绎推理(编辑修改稿)内容摘要：
)( z)P(x,y,z)化为 : ( y)P(a,y,f(y)) ( x)( y)( z)Q(x,y,z)化为： ( x)P(a,f(x),g(x)) ( x)( y)( z)( u)R(x,y,)化为： ( y)( z)R(a,y,z,f(y,z)) 例： C1=P(x) Q(x) C2=7P(a) R(y) 令 θ ={a/x} C1`=C1θ =P(a) Q(a) C2`=7P(a) R(y) C12=Q(a) R(y)是 C1,C2 的逻辑推论 定义 ：设 C1 和 C2 是两个子句， L1， L2 分别是 C1 和 C2中的文字，如果 θ 是 L1 与 7L2的最一般合一，那么 C12＝ (C1θ {L1θ }) {C2θ {C2θ }} 为 C1， C2 的双归结式。 如上例： L1= P(x)， L2=7P(a) 在一阶谓词中 , 对于不可满足的子句集 S，一定可以在有限步内推出空子句。 所以谓词逻辑中的归结原理也是完备的。 并非所有符号相同但变元不同的谓词公式都可合一，如 C1= P(x) Q(x)C1= P(z) Q(z) C2=7 P(f(x)) R(y) 所以要易名 例： F1=( x)( P(x)( Q(x) R(x)) F2=( x)( P(x) S(x)) G=( x)(S(x) R(x)) 证明 G 是 F1 F2 的逻辑推论 证明 :F1 F2 7G =( x)(7P(x) (Q(x) (R(x))) ( x)(P(x) S(x)) ( x)(7S(x) 7R(x)) (7P(x) Q(x)) ( 7P(x) R(x)) P(a) S(a) (7S(x) (7R(x)) S={7P(x) Q(x), 7P(y) R(y), P(a), S(a), 7S(z) R(z)} 归结树如下： 7P(x) Q(x) 7P(y) R(y) P(a) S(a) 7S(z) R(z) ============ ============= || {a/y} || {a/z} R(a)。阅读剩余 0%
本站所有文章资讯、展示的图片素材等内容均为注册用户上传(部分报媒/平媒内容转载自网络合作媒体)，仅供学习参考。
用户通过本站上传、发布的任何内容的知识产权归属用户或原始著作权人所有。如有侵犯您的版权，请联系我们反馈本站将在三个工作日内改正。