| 全称概括规则 rule of universal generalization 某些自然演绎系统中的初始推演规则。一般记作UG。这一规则规定：只要自由个体变项v在S中是不加标记的，并且不是下标，那么就可以从公式S推出(ᗄv)S。所谓自由个体变项是加标记的，是指一个前提中的自由个体变项，或者这个变项在演绎中依赖于前提的任何一行中自由出现时，它也是加标记的。所谓下标是出现在不确定名称下方的自由变项符号。当通过存在限定规则引进一个歧义名称时，它必须以被加以存在限定的公式中所有出现的自由变项为下标。全称概括规则在有些逻辑公理系统中，也作为导出规则出现。 |