Elementare Äquivalenz/Elemente/Permutation/2/Aufgabe
Zur Navigation springen
Zur Suche springen
Es sei ein Symbolalphabet, das neben Variablen aus einem einzigen einstelligen Funktionssymbol besteht und es sei eine -Struktur, wobei als die Permutation mit
interpretiert werde. Bestimme die elementar äquivalenten
Elemente von .