| 存在概括规则 rule of existential generalization 某些自然演绎系统中的初始推演规则。一般记作EG。这一规则规定：如果公式S这样得自公式R：把R中某个歧义名称的每一出现都代之以变项v，那么从R可以推出(∃v)S。例如：从“A(a)∧M(a)”，据规则EG可得(∃x)(A(x)∧M(x))。其中a为歧义名称。应用存在概括规则时要求：个体变项v不是*下标;名称不在作用于个体变项v的量词的辖域中出现;如果歧义名称a在S(a)中实际出现时，则v不是*加标记的。存在概括规则在有些逻辑公理系统中，也作为导出规则出现。 |