Vollständigkeitssatz/Ableitbarkeit/Durchschnitt von Gültigkeitsmengen/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet und eine Ausdrucksmenge. Zeige

Eine Lösung erstellen