Termmenge/Volles Alphabet/Bedingung/Aufgabe

Aus Wikiversity

Es sei eine Variablenmenge, eine Konstantenmenge und eine Menge aus Funktionssymbolen (mit einer gewissen Stelligkeit). Es sei

das zugehörige Alphabet. Es sei vorausgesetzt, dass dieses Alphabet nicht leer sei. Zeige, dass es nichtleere Wörter über gibt, die keine Terme sind.