谓词逻辑下,子句C=L∨C’,C=┐L∨C’,若σ是互补文字的最一般合一代换,则其归结式C=()

  尔雅 智慧树 mooc


+
账户
更新
搜索
帮助
主页