题目内容

UG(Universal quantifier Generalization)规则: ____。

查看答案

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

更多问题

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

ES(Existential quantifier Specification)规则: ____。

EG(其英语表达为____)规则: 存在量词产生规则

EG(Existential quantifier Generalization)规则: ____。