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.