Prädikatenlogik/Z/Elementare Äquivalenz/Sprachabhängig/Aufgabe
Es seien die Symbolalphabete , , und gegeben, die wir auf natürlich interpretieren. Bestimme zu diesen Symbolalphabeten jeweils die Äquivalenzklassen zur
elementaren Äquivalenz.Es seien die
Symbolalphabete
,
,
und
gegeben, die wir auf
natürlich interpretieren. Bestimme zu diesen Symbolalphabeten jeweils die
Äquivalenzklassen
zur