Prädikatenlogik (Terme)

Ein Term in einer Signatur ist

• eine Variable
• oder ein Funktionssymbol mit einer passenden Anzahl von Argumenten (= Termen)

Übungen:

• Beispiele für Terme in Signature der Gruppen, der Halbordnungen?
• Größe und Tiefe eines Terms,
• Menge der Variablen eines Terms