我们所关心的是，对论域D上的任一个解释，若有S|_I = T，如何求得一个相应的H解释，使得S|_I^* = T成立。
　　可以证明，有如下三个定理：
　　定理：
　　・定理1：
　　设I是S的论域D上的解释，存在对应于I的H解释I^*，使得若有S|_I = T，必有 S|_I^* = T。
　　・定理2：
　　子句集S是不可满足的，当且仅当S的一切H解释都为假。
　　・定理3：
　　子句集S是不可满足的，当且仅当对每一个解释I下，至少有S的某个子句的某个基例为假。