Una regla de inferencia formal en lógica de predicados que permite derivar una fórmula universal ∀x φ(x) cuando se ha derivado φ(x) bajo la condición de que x es arbitrario y no depende de ninguna suposición sobre ese individuo en particular.

Principio

Si una fórmula es demostrada para un elemento elegido arbitrariamente — cuyo nombre no aparece en ninguna suposición no descartada — entonces vale para todo elemento; la instancia arbitraria legitima la introducción del cuantificador universal.

Demostración

Supongamos que, sin premisas que mencionen el símbolo a, se demuestra P(a) usando solo reglas que no asumen nada específico sobre a. Por generalización universal se puede inferir ∀x P(x). Por ejemplo, a partir de una prueba que trata a como arbitrario y muestra 'a es par' no se puede concluir 'todo entero es par' salvo que se cumpla la condición de arbitrariedad.

Aplicación incorrecta

Aplicar la regla cuando el símbolo testigo fue introducido por una suposición no descartada o depende de premisas sobre él (por ejemplo derivar P(a) desde 'a = 0' y luego concluir ∀x P(x)) produce una generalización ilícita.

Consecuencia

Bien aplicada, permite abstraer de un caso representativo a una ley general, habilitando la formación de teoremas universales y la introducción del cuantificador en las demostraciones.

Inversión

El movimiento dual es la instanciación universal: de ∀x φ(x) se infiere φ(t) para un término particular t. Generalización e instanciación unen las direcciones general y particular de la cuantificación.

Límite

Requiere que la variable (o constante testigo) esté libre de dependencia respecto de suposiciones no descartadas y que no aparezca en premisas que la limiten. En algunos marcos modales, constructivos o tipados se imponen restricciones adicionales para evitar generalizaciones inválidas.

Tensión semántica

Existe tensión entre la regla sintáctica de introducir ∀ en una demostración y la noción semántica de 'verdadero para todos los elementos de un modelo'; una generalización sintáctica puede bloquearse por restricciones formales aun cuando la fórmula sea semánticamente válida.

Síntesis

La Generalización Universal es la regla de prueba que convierte una derivación sobre un representante arbitrario e independiente de las hipótesis en una afirmación universal, sujeta a condiciones de novedad e independencia.