Prädikatenlogik/Uminterpretation/Beispiel/1/Aufgabe

Aus Wikiversity

Es sei ein Symbolalphabet erster Stufe mit der Variablenmenge

gegeben und eine -Interpretation in der Menge mit

Bestimme die Werte von bei der Interpretation

auf .