Alphabet erster Stufe/A/Interpretation für Terme/Definition/Begriff/Inhalt
Erscheinungsbild
Die Terminterpretation wird induktiv über den Aufbau der Terme für jeden -Term definiert.
- Für jede Konstante und jede Variable ist die Terminterpretation durch die Interpretation bzw. die Belegung direkt gegeben, also und .
- Wenn Terme mit Interpretationen sind und wenn ein -stelliges Funktionssymbol ist, so wird der Term als interpretiert.