Terminterpretation
Zu einem
Symbolalphabet
erster Stufe und einer
-Interpretation
in einer Menge
wird induktiv über den Aufbau der Terme für jeden
-Term
eine Interpretation
in
definiert.
- Für jede Konstante
und jede Variable
ist die Terminterpretation durch die Interpretation bzw. die Belegung direkt gegeben, also
und
.
- Wenn
Terme mit den Interpretationen
sind und wenn
ein
-stelliges Funktionssymbol ist, so wird der Term
als
interpretiert.