Prädikatenlogik/Ausdrücke/Aufzählungsverfahren/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Beschreibe ein Verfahren, das alle prädikatenlogischen Ausdrücke ausgibt

(dabei sei vorausgesetzt, dass die Variablen, die Konstanten, die Relationssymbole und die Funktionssymbole in einer aufgezählten Form vorliegen).
Eine Lösung erstellen