...le of thumb ==> 凭经验总结的大致作法,经验方法,经验方法,根据经验 rule of universal generalization ==> 全称推广规则 rule of universal specification ==> 全称规定规则 ..
基于20个网页-相关网页
Whether the classical predicate logic systems with the primitive rule of universal generalization have the strong semantic soundness depends on the restriction of the rule.
将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性。
youdao
应用推荐
模块上移
模块下移
不移动