Generalización existencial

En la lógica de predicados, la generalización existencial​​ (también conocida como introducción existencial, ∃I) es una regla de inferencia válida que permite pasar de una declaración específica, o una instancia, a una declaración generalizada cuantificada o proposición existencial. En lógica de primer orden, se utiliza con frecuencia como una regla para el cuantificador existencial (∃) en pruebas formales. Ejemplo: "A Rover le encanta mover la cola. Por lo tanto, algo ama menear la cola." En ː Donde a reemplaza a todas las instancias libres de x en Q (x).​