西安电子科技大学S2.5.1存在指定规则软件学院茶家教家家l）存在指定规则（ExistentialSpecification，ES）(Ex)A(x)..A(c)意义：如果(日x)A(x)的真值为T，那么x的个体域中至少存在一个个体c使得A(c)的真值为T注意：应用ES规则代入的个体c必须使命题A(c)的真值为T，c应该对作用的约束变元x出现的每一处一同代入，西安电子科技大学 §2.5.1 存在指定规则 软件学院 1) 存在指定规则（Existential Specification, ES） 意义：如果(∃x)A(x)的真值为T，那么x的个体域中至少存在一 个个体c 使得A(c)的真值为T. 注意：应用ES规则代入的个体c必须使命题A(c)的真值为T，c 应该对作用的约束变元x出现的每一处一同代入