西安电子科技大学S2.5.3存在推广规则软件学院家3）存在推广规则（ExistentialGeneralization，EG）A(c)(3X)ArX)意义：如果已知某一确定的个体c使得A(c)的真值为T，那么必有（x）A（x）的真值为T注意：应用EG规则并不要求c出现的每一处均替换为X。例如由“1=1”可以得出“存在x使得x=x”，也可以得出“存在x使得x=1”。西安电子科技大学 §2.5.3 存在推广规则 软件学院 3) 存在推广规则（Existential Generalization, EG） 意义：如果已知某一确定的个体c使得A(c)的真值为T，那么 必有(∃x)A(x)的真值为T. 注意：应用EG规则并不要求c出现的每一处均替换为x。例 如由“1＝1”可以得出“存在x使得x=x”，也可以得出 “存在 x使得x=1