设C1和C2是子句集中的任意两个子句，如果C1中的文字L1与C2中的文字L2互补，那么可从C1和C2中分别消去L1和L2，并将C1和C2中余下的部分按析取关系构成一个新子句C12，则称这一个过程为归结，称C12为C1和C2的归结式，称C1和C2为C12的亲本子句。 　　例如：有子句：C1＝P∨C1'， 　　　　　　　　　C2＝～P∨C2' 　　存在互补对 P和～P， 　　则可得归结式：C12 = C1'∨C2' 　　注意：C1ΛC2 → C12 ， 反之不一定成立。 　　下面证明归结式是原两子句的逻辑推论，或者说任一使C1、C2为真的解释I下必有归结式C12也为真。 　　证明： 　　设I是使C1，C2为真的任一解释，若I下的P为真，从而～P为假，必有I下C2'为真，故C12为真。若不然，在I下P为假，从而I下C1'为真，故I下C12为真。于是C1∧C2为真。于是C1∧C2→R(C1,C2)成立。 　　反之不一定成立，因为存在一个使C1'∨C2'为真的解释I，不妨设C1'为真，C2'为假。若P为真，则～P∨C2'就为假了。因此反之不一定成立。由此可得归结式的性质。 　　归结式的性质：归结式C12 是亲本子句C12 和C12的逻辑结论。