Term/Variablenmenge/Funktionssymbole/Grundmenge/Definition
Zur Navigation springen
Zur Suche springen
Grundtermmenge
Eine Grundtermmenge besteht aus den folgenden (untereinander disjunkten) Mengen.
- eine Variablenmenge ,
- eine Konstantenmenge ,
- zu jedem eine Menge von Funktionssymbolen.