Herbrand-Universum

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die Menge aller ground (variablenfreien) Terme, die aus den Konstanten- und Funktionssymbolen einer prädikatenlogischen Sprache gebildet werden können.