Prädikatenlogik (Semantik - Terme)

Wert eines Termes in einer Struktur, unter einer Belegung, ist ein Element des Universums

• Variable: benutze Belegung
• Funktionssymbol mit Argumenten: wende Interpretation der Funktion auf Werte der Argumente an