Universo de Herbrand
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El conjunto de todos los términos ground (sin variables) que se pueden formar a partir de los símbolos de constantes y funciones de un lenguaje de primer orden.