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

Aus Wikiversity

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