...le of thumb ==> 凭经验总结的大致作法,经验方法,经验方法,根据经验 rule of universal generalization ==> 全称推广规则 rule of universal specification ==> 全称规定规则 ..
双语例句
1
Whether the classical predicate logic systems with the primitive ruleofuniversalgeneralization have the strong semantic soundness depends on the restriction of the rule.