试题详情
简答题如何通过消解反演求取问题的答案？
  • 给出一个公式集S和目标公式L，通过反证或反演来求证目标公式L，其证明步骤如下：
    （1）否定L，得～L；
    （2）把～L添加到S中去；
    （3）把新产生的集合｛～L，S｝化成子句集；
    （4）应用消解原理，力图推导出一个表示矛盾的空子句NIL。

  • 关注下方微信公众号，在线模考后查看

热门试题