Termmenge/Volles Alphabet/Bedingung/Aufgabe

Es sei ${}V$ eine Variablenmenge, ${}K$ eine Konstantenmenge und ${}F$ eine Menge aus Funktionssymbolen (mit einer gewissen Stelligkeit). Es sei

${}A=V\cup K\cup F\,$

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

Eine Lösung erstellen