Zum Inhalt springen

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

Aus Wikiversity

Die Terminterpretation wird induktiv über den Aufbau der Terme für jeden -Term 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 Interpretationen sind und wenn ein -stelliges Funktionssymbol ist, so wird der Term als interpretiert.