< Prädikatenlogik < Uminterpretation < Beispiel < 1
Es sei ein Symbolalphabet erster Stufe mit der Variablenmenge
gegeben und eine -Interpretation in der Menge mit
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.