给出一个公式集S和目标公式L，通过反证或反演来求证目标公式L，其证明步骤如下：
（1）否定L，得～L；
（2）把～L添加到S中去；
（3）把新产生的集合｛～L，S｝化成子句集；
（4）应用消解原理，力图推导出一个表示矛盾的空子句NIL。
（简答题）
如何通过消解反演求取问题的答案？
正确答案
答案解析
略
相似试题
（单选题）
反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。
（单选题）
如果希望用户能够在ShArePoint TeAm Services站点的问卷调查中回答关于年龄的问题，应如何设置问题的答案类型（）
（单选题）
在寻找n个元素中第k小元素问题中，如快速排序算法思想，运用分治算法对n个元素进行划分，如何选择划分基准？下面（）答案解释最合理。
（单选题）
在寻找n个元素中第k小元素问题中，若使用快速排序算法思想，运用分治算法对n个元素进行划分，应如何选择划分基准？下面（）答案解释最合理。
（单选题）
在寻找n个元素中第k小元素问题中，如使用快速排序算法思想，运用分治算法对n个元素进行划分，应如何选择划分基准？下面（）答案解释最合理。
（填空题）
用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
（单选题）
对于0－1背包问题和背包问题的解法，下面（）答案解释正确。
（简答题）
科学能不能为所有问题提供完整的答案，为什么？
（单选题）
使用ShAre Point TeAm Services站点中调查功能，创建一个答案类型为“单行文字”的问题，那么该问题的可选设置不包括哪项（）
