在谓词逻辑的推导过程中,如既要使用规则US又要使用规则ES消去量词,而且选用的个体是同一个符号,则必须先使用规则ES,再使用规则US

  尔雅 智慧树 mooc


+
账户
更新
搜索
帮助
主页