西安电子科技大学S2.5.4全称推广规则软件学院4）全称推广规则（UniversalGeneralization，UG）F→A(X).I-(UxArx)意义：如果用已知的公理和前提推出对任意的个体x都有A()的真值为T，那么由这些已知的公理和前提可以得出(Vx)A(×)的真值为T.注意：I是公理与前提的合取式，并且T中没有变元x的自由出现。F中没有x的自由出现的意义在于用来证明A(α)为真的公理合前提必须与个体x的选取无关，即无论选取个体域中的哪个个体c都能证明A(c)为T西安电子科技大学 §2.5.4 全称推广规则 软件学院 4) 全称推广规则（Universal Generalization, UG） 意义：如果用已知的公理和前提推出对任意的个体x都有 A(x)的真值为T，那么由这些已知的公理和前提可以得出 (∀x)A(x)的真值为T. 注意：Γ是公理与前提的合取式，并且Γ中没有变元x的自由 出现。Γ中没有x的自由出现的意义在于用来证明A(x)为真 的公理合前提必须与个体x的选取无关，即无论选取个体域 中的哪个个体c都能证明A(c)为T. Γ