TU Wien:Einführung in wissensbasierte Systeme VU (Egly)/Übungen SS12/Blatt 1 - Beispiel 3

Prove the Equivalent Replacement Lemma:

Let $I$ be an interpretation and let $I\models \psi _{1}\leftrightarrow \psi _{2}$ hold. Then $I\models \phi [\psi _{1}]\leftrightarrow \phi [\psi _{2}]$

Lösungsvorschlag

https://web.archive.org/web/20180801000604/https://math.stackexchange.com/questions/126600/structural-induction-logic

ein weiterer Vorschlag aus einer Musterlösung von Formale Methoden der Informatik(Siehe Exercise 5): https://web.archive.org/web/*/webcache.googleusercontent.com/search?q=cache:-RiOQpAvKgUJ:www.informatik-forum.at/attachment.php%3Fattachmentid%3D14341%26d%3D1237752968+fminf+solution+%22equivalent+replacement+lemma%22&cd=1&hl=de&ct=clnk&gl=at&client=firefox-a

Links

• f.thread:92897