##  [Generalización Universal](/es/node/60939) 

  ##  [Generalización Universal](https://mathlogic.quantumdictionary.io/es/node/60940) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

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.