Instanciación Universal
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una regla de inferencia que permite derivar una instancia de una fórmula a partir de una afirmación cuantificada universalmente: de ∀x P(x) se puede inferir P(t) para cualquier término t apropiado para sustituir a x.