什么是H域解释？如何用域D上的一个解释I构造H域上的解释I*呢？

录取李四，则一定录取王五。 (2)如果录取李四，则一定录取王五。 (3)三人中至少要录取一人。 求证：王五一定会被单位录取。

入归结策略证明：有些很聪明的人并不识字。