[判断]  消解反演证明定理的思路是：给定一个公式集S（前提条件）和目标公式L（结论），通过反演来求证目标公式L，其证明过程为：否定L，得到～L、把～L加到S中、把新形成的集合{S，～L}化为子句集、应用消解原理，试图导出一个表示矛盾的空子句。