1.为证明A→B(可称作定理)是重言式, 依定理2.8.2等价于A∧B是矛盾式。
  使用归结证明法,就是从A∧B出发。
  2.建立子句集S
  将A∧B化成合取范式。如
  P∧(P∨R)∧(P∨Q)∧(P∨R)
  形式, 进而将所有子句(析取式)构成子句集合S:
  S = {P, (P∨R), (P∨Q), (P∨R)}
  即以集合来描述这合取范式,这种表示法对归结过程的阐明是方便的。
  3.对S作归结
  进而对S的子句作归结(消互补对), 如子句P∨R与P∨Q作归结, 得归结式R∨Q(这新子句便为归结式)。并将这归结式仍放入S中。重复这过程。
  4.直至归结出矛盾式□
  使用归结证明法, 就是要证明子句集S是不可满足的。如在归结过程中, 出现归结式P以及归结式P, 使是矛盾, 以□表示。证明结束。