Term/Variablenmenge/Funktionssymbole/Grundmenge/Termstammbaum 2/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Eine Grundtermmenge sei durch die Variablenmenge , eine Konstantenmenge , die einstelligen Funktionssymbole und die zweistelligen Funktionssymbole gegeben. Entwerfe einen Termstammbaum für den Term

Eine Lösung erstellen