西安电子科技大学$2.5.2全称指定规则软件学院2）全称指定规则 (Universal Specification, US)(X)A(X)..A(y)意义：如果(Vx)A(x)的真值为T，那么x的个体域中的任一个体y，均有A(y)的真值为T注意：应用US规则代入的变元y在A(y）中必须完全自由出现，y应该对√x作用的约束变元x出现的每一处一并代入，并且y不要与(Vx)A(x)中的其它自由变元同名。西安电子科技大学 §2.5.2 全称指定规则 软件学院 2) 全称指定规则（Universal Specification, US） 意义：如果(∀x)A(x)的真值为T，那么x的个体域中的任一 个体 y，均有A(y)的真值为T. 注意：应用US规则代入的变元y在A(y)中必须完全自由出 现，y应该对∀x作用的约束变元x出现的每一处一并代入， 并且y不要与(∀x)A(x)中的其它自由变元同名