题目内容

US(Universal quantifier Specification)规则: ____。

查看答案

搜索结果不匹配？点我反馈

更多问题

UG(其英语表达为____)规则: 全称量词产生规则。

UG(Universal quantifier Generalization)规则: ____。

ES(其英语表达为____)规则: 存在量词消去规则

ES(Existential quantifier Specification)规则: ____。