Prädikatenlogik/Z/Elementare Äquivalenz/Sprachabhängig/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien die Symbolalphabete , , und gegeben, die wir auf natürlich interpretieren. Bestimme zu diesen Symbolalphabeten jeweils die Äquivalenzklassen zur

elementaren Äquivalenz.
Eine Lösung erstellen