Una regla de inferencia que permite inferir una afirmación existencial ∃x P(x) a partir de una instancia particular P(t): si algún término t satisface P, entonces existe un x tal que P(x).

Principio

Una instancia demostrada o asumida proporciona un testigo: de P(a) se puede concluir ∃x P(x) porque el término a sirve como evidencia de que el predicado se cumple para al menos un objeto del dominio.

Demostración

A partir de la afirmación '7 es primo' expresada como Prime(7), se puede inferir ∃n Prime(n), afirmando la existencia de un número primo al generalizar la instancia exhibida 7.

Aplicación incorrecta

Aplicar injustificadamente la generalización existencial a un parámetro introducido como marcador esquemático o arbitrario sin establecer que denota un objeto real puede conducir a afirmaciones de existencia inválidas; asimismo, generalizar desde una hipótesis interna dependiente de supuestos descartados es erróneo.

Consecuencia

Permite introducir afirmaciones de existencia en pruebas una vez identificado un testigo concreto, posibilitando razonamientos posteriores que dependan solo de la mera existencia de tal objeto.

Inversión

La inversión es la instanciación existencial: de ∃x P(x) derivar P(c) para una constante nueva c, lo cual requiere precaución para no atribuir al testigo propiedades particulares no justificadas por la existencia.

Límite

Válida solo cuando el término usado como testigo denota un objeto en el dominio; en contextos constructivistas el testigo debe ser exhibido explícitamente, y en lógicas libres los términos potencialmente no denotantes requieren reglas adicionales.

Tensión semántica

Hay tensión entre la generalización existencial y las afirmaciones sobre arbitrariedad: la generalización produce existencia pero no unicidad ni testigos computables, distinción relevante en enfoques constructivistas frente a clásicos.

Síntesis

Generalización Existencial: la regla estándar que eleva una instancia conocida a una afirmación de existencia tratando la instancia como testigo, efectiva solo cuando el testigo denota legítimamente un objeto en el dominio pertinente y se respetan las restricciones del contexto de demostración.