题目内容

US(其英语表达为____)规则: 全称量词消去规则。

查看答案
更多问题

US(Universal quantifier Specification)规则: ____。

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

UG(Universal quantifier Generalization)规则: ____。

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

答案查题题库