当前学科:人工智能
  • 题目: 单选
    反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。

      A . 永真式
      B . 包孕式
      C . 空子句

    答案: <查看本题扣1积分>

    查看答案

    答案不对?请尝试站内搜索