Zum Inhalt springen

Alphabet erster Stufe/A/Interpretation für Terme/Definition

Aus Wikiversity
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.

  1. Für jede Konstante und jede Variable ist die Terminterpretation durch die Interpretation bzw. die Belegung direkt gegeben, also und .
  2. Wenn Terme mit den Interpretationen sind und wenn ein -stelliges Funktionssymbol ist, so wird der Term als interpretiert.