Base de Herbrand
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
La colección de todas las fórmulas atómicas ground (átomos sin variables) que se pueden formar aplicando símbolos de predicado a tuplas de términos del universo de Herbrand de un lenguaje.