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