Table 2 推理与证明方法 Rule of inference Name vxP(x)→P(c) ifceU UI全称举例 P(c)for an arbitrary cEU=Vx P(x) UG/全称推广 彐xP(x)→P(c) for some ceU EI存在举例 P(c) for some c∈U→彐xP(x) EG存在推广 U: Universal l: Instantiation E: Existential g: generalization 2/24/202111:15PM Deren Chen Zhejiang univ推理与证明方法 2/24/2021 11:15 PM Deren Chen, Zhejiang Univ. 7 Table 2. Rule of Inference Name x P(x)  P(c) if cU UI/全称举例 P(c) for an arbitrary cU  x P(x) UG/全称推广 x P(x)  P(c) for some cU EI/存在举例 P(c) for some cU  x P(x) EG/存在推广 U:Universal I:Instantiation E: Existential G: Generalization