Term/Variablenmenge/Funktionssymbole/Grundmenge/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Grundtermmenge

Eine Grundtermmenge besteht aus den folgenden (untereinander disjunkten) Mengen.

  1. eine Variablenmenge ,
  2. eine Konstantenmenge ,
  3. zu jedem eine Menge von Funktionssymbolen.