completeness of resolution refutation strategy

• 归结反演策略的完整性