定理 　　谓词表达式G是不可满足的当且仅当 其子句集S是不可满足的