什么是统一?

  • 统一是通过查找替换使两个不同的逻辑原子表达式相同的过程。统一取决于替换过程。

  • 它需要两个文字作为输入,并使用替换使它们相同。

  • 设 Ψ 1和 Ψ 2是两个原子句子,

    • 使用社交账号登录,本站支持
    全部评论(0)