Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Blatt 12 - Herbrandmodell
Hallo,
was ist denn bei der Aufgabe 4 vom Blatt 12 mit der Anmerkung gemeint, dass man “Induktion über Grundterme” machen soll. Mir erschließt sich nicht ganz, wie man da Induktion führen soll.
LG Gabriel
Ich kenn mich jetzt nicht besonders aus, aber des Skript sagt ja, dass Grundterme, ueber eine Signatur \Sigma, die Terme ueber \Sigma sind die keine Variablen beinhalten. Die Terme werden durch eine Grammatik gegeben, ueber die man dann strukturelle Induktion machen kann.
2 „Gefällt mir“