En lógica de predicados, generalización (también generalización universal o introducción universal,[1][2][3] GEN) es una regla de inferencia válida.
La regla de generalización completa permite la hipótesis a la izquierda del trinquete, pero con restricciones.
La regla de generalización dice que
Estas restricciones son necesarias para la solidez.
Sin la primera restricción, se podría concluir
Sin la segunda restricción, se podría hacer la siguiente deducción: Esto pretende demostrar que
Demostración: En esta prueba, se utilizó la generalización universal en el paso 8.
El teorema de la deducción es aplicable en los pasos 10 y 11 porque las fórmulas que son trasladadas no tiene variables libres.