Alphabet erster Stufe/A/Struktur/Belegung/Interpretation/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Interpretation

Es sei das Symbolalphabet einer Sprache erster Stufe. Unter einer -Struktur versteht man eine nichtleere Menge mit den folgenden Festlegungen.

  1. Für jede Konstante ist ein Element festgelegt.
  2. Zu jedem -stelligen Funktionssymbol (aus ) ist eine -stellige Funktion

    festgelegt.

  3. Zu jedem -stelligen Relationssymbol (aus ) ist eine -stellige Relation

    festgelegt.

Unter einer -(Variablen)belegung in versteht man eine Festlegung für jede Variable .

Unter einer -Interpretation versteht man eine -Struktur zusammen mit einer -Belegung.