Herbrand-Interpretation

Begriff aus der mathematischen Logik

In der mathematischen Logik ist eine Herbrand-Interpretation einer Sprache der Logik erster Stufe mit Signatur eine -Interpretation , bei der das Universum das Herbrand-Universum über , d. h. die Menge aller Terme ohne Variablen, ist, und jeder Term „durch sich selbst“ interpretiert wird. Somit lässt sich eine Herbrand-Interpretation vollständig durch die Angabe der Interpretation der Relationssymbole beschreiben.

Formal wird jedes Funktionssymbol durch die Funktion interpretiert. Die Menge der einfachen Aussagen heißt Herbrand-Basis zu . Die Interpretation der Relationssymbole ist nun vollständig spezifiziert durch eine Teilmenge der Herbrand-Basis, wobei jedes -stellige Relationssymbol durch die Relation interpretiert wird.

Beispiel

Bearbeiten

Enthalte die Signatur   nur das Konstantensymbol   und das Funktionssymbol  . Das zugehörige Herbrand-Universum ist  . Dann lautet die Zuordnung zwischen Funktionssymbolen und Elementen aus dem Universum:

 
 
 
...