Dies ist die
aktuelle Version dieser Seite, zuletzt bearbeitet am 11. Januar 2022 um 08:45 Uhr durch
imported>Hutch(114381) .
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
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
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:
- ...