Definition of the interpratation functions 11.2 11.3
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.
Assignment 11
Hallo everyone,
In the Assignment 11 the functions I(=), I(P), I(<=), … are not defined. Can we do the Assignment without it ?
Yes, you can. “Prove” refers to what proof calculi do, i.e. show that they’re valid, i.e. hold in all models - i.e. under all interpretation functions.
Will there be a solution for the Assignment 11?
I’m asking for a friend …
Done 
As it was rather tedious to do that exercise 1 year ago, I somehow like to see my work being useful.
At https://gl.kwarc.info/teaching/AI/blob/master/Marius/uebung11/marius_solution.pdf you can see my own solution, which should be correct.
It has way more details then the official solution and also has way more justifications, so you might want to see it…
(all those hours learning how to use LaTeX Busproofs, lplfitch, etc … :huh: )