在谓词推理过程中,如一个变量是用规则ES消去量词,对该变量在添加量词时,则只能使用规则_____(只能填写USESUGEG这四种)

  尔雅 智慧树 mooc


+
账户
更新
搜索
帮助
主页