Term (Logik)

Sei \(\mathcal{L}\) eine Signatur.

Dann werden Terme induktiv definiert:

1. Konstanten sind Terme
2. Variablen sind Terme
3. für ein \(n\)-stelliges Funktionssymbol \(f\) und Terme \(t_1,...,t_n\) ist \(f(t_1,...,t_n)\) ebenfalls ein Term