< Prädikatenlogik < Uminterpretation < Beispiel < 1

Es sei ein Symbolalphabet erster Stufe mit der Variablenmenge

gegeben und eine -Interpretation in der Menge mit

Bestimme die Werte von auf .
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.