Term/Unterschiedliche Zeichenreihe/Endliches trennendes Modell/Aufgabe

Es seien ${}s,t$ nicht identische ${}S$-Terme. Zeige, dass es ein endliches ${}S$-Modell mit

${}I(s)\neq I(t)\,$

gibt.

Eine Lösung erstellen