全称推广规则

英语翻译

rule of universal generalization

拓展翻译

全称
full title

全称闭包
universal closure

全称规定规则
rule of universal specification

全称量词
universal quantifier

全称量词化变元
universally quantified variable

全称路径
full path

全称命题
universal proposition

匹配规则
matching rule

平衡法规则
rule of equity

普雷洛格规则
Prelog's rule

普通法规则
rules of jus common

期望驱动规则
expectation-driven rules

奇偶规则
even-odd rules

启发式规则
heuristic rule

前看规则
look-ahead rule

强制性规则
obligatory rule

求补规则
complement rule

求和规则
sum rule

全域规则
across-the-board rule

缺省规则
default rule