Prädikatenlogik/Uminterpretation/Beispiel/1/Aufgabe
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 .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 .