Leeres Symbolalphabet/Elementare Äquivalenz/Eine Äquivalenzklasse/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein erststufiges Symbolalphabet, das nur aus einer Variablenmenge besteht, die Konstantenmenge und die Mengen der Funktionssymbole und der Relationssymbole seien also leer. Zeige, dass je zwei Elemente elementar äquivalent

sind.
Eine Lösung erstellen