## [Generalización Universal](/es/node/60940) Definición 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 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 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 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 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 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 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 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 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.