Termmenge/Volles Alphabet/Bedingung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.
Eine Lösung erstellen