鲁宾孙归结原理： 命题逻辑中的归结原理： 若r1,r2是一个子句集中的两个子句，r1，r2中含有互补文字，那么把r1,r2拿出来，去掉互补文字，再把剩下的部分析取，得到的子句r12为r1,r2的归结式，r1,r2为r12的亲本子句。 r12与,r1∧r2是等价的，假设正文字在r1中，负文字在r2中，在r1中我们可以把该正文字换到析取符号的后面，然后用蕴含等价变换，r2中的负文字在析取符号前面，然后