Prädikatenlogik/Interpretationen/Grundsymbole/Einführung/Textabschnitt
Es sei das Symbolalphabet einer Sprache erster Stufe. Unter einer -Struktur versteht man eine nichtleere Menge mit den folgenden Festlegungen.
- Für jede Konstante ist ein Element festgelegt.
- Zu jedem -stelligen Funktionssymbol
(aus )
ist eine -stellige Funktion
festgelegt.
- Zu jedem -stelligen Relationssymbol
(aus )
ist eine -stellige Relation
festgelegt.
Unter einer -(Variablen)belegung in versteht man eine Festlegung für jede Variable .
Unter einer -Interpretation versteht man eine -Struktur zusammen mit einer -Belegung.
Die Menge heißt auch Grundmenge der -Struktur bzw. der -Interpretation. Die Festlegung für die Konstanten und die Variablen ist einfach eine Abbildung von bzw. von der Variablenmenge in die Menge . Statt schreibt man auch , wobei eine Interpretation bezeichnet. Die Strukturen sind die üblichen Gegenstände der Mathematik (die Belegung von freien Variablen ist der mathematischen Praxis eigentlich fremd; durch sie wird sichergestellt, dass bei einer Interpretation jeder Ausdruck wahr oder falsch wird).
Es sei ein Symbolalphabet, das außer einer Variablenmenge aus einem einzigen einstelligen Funktionssymbol bestehe (die Konstantenmenge und die Relationssymbolmengen seien also leer). Eine -Struktur besteht dann aus einer nichtleeren Menge zusammen mit einer Abbildung
Beispiele sind mit der Nachfolgerfunktion, mit dem Quadrieren oder der Sinusfunktion oder der Exponentialfunktion, oder eine beliebige Menge mit der Identität, eine endliche Menge mit einer Permutation, u.s.w.
Es sei ein Symbolalphabet, das außer einer Variablenmenge aus einem einzigen zweistelligen Funktionssymbol bestehe (die Konstantenmenge und die Relationssymbolmengen seien also leer). Eine -Struktur besteht dann aus einer nichtleeren Menge zusammen mit einer Abbildung
Eine solche Abbildung nennt man auch eine Verknüpfung auf ; sie ordnet (einem geordneten Paar aus) zwei Elementen der Menge ein weiteres Element der Menge zu. Die Addition oder die Multiplikation auf den natürlichen Zahlen sind jeweils eine solche Verknüpfung. Weitere Beispiele sind die Verknüpfung in einer Gruppe, die Vektorraumaddition, das Maximum von zwei reellen Zahlen, u.s.w.
Es sei ein Symbolalphabet, das außer einer Variablenmenge aus einem einzigen einstelligen Relationssymbol bestehe (die Konstantenmenge und die Funktionssymbolmengen seien also leer). Eine -Struktur besteht dann aus einer nichtleeren Menge zusammen mit einer fixierten Teilmenge . Beispiele sind mit der Teilmenge der Primzahlen, oder der Teilmenge der Quadratzahlen, oder mit der Teilmenge der positiven Zahlen, oder der Teilmenge der rationalen Zahlen, u.s.w.
