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
.