Term/Unterschiedliche Zeichenreihe/Endliches trennendes Modell/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien nicht identische -Terme. Zeige, dass es ein endliches -Modell mit

gibt.
Eine Lösung erstellen