Termmenge/Volles Alphabet/Bedingung/Aufgabe
Es sei eine Variablenmenge, eine Konstantenmenge und eine Menge aus Funktionssymbolen (mit einer gewissen Stelligkeit). Es sei
Es sei eine Variablenmenge, eine Konstantenmenge und eine Menge aus Funktionssymbolen (mit einer gewissen Stelligkeit). Es sei