在谓词推理过程中,若需消去量词,可以引用规则US和规则ES

  尔雅 智慧树 mooc


+
账户
更新
搜索
帮助
主页