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

Prove the Equivalent Replacement Theorem:

Let $\phi ,\psi _{1},\psi _{2}\,$ be formulas of propositional logic. If $\psi _{1}\equiv \psi _{2}$, then $\phi [\psi _{1}]\equiv \phi [\psi _{2}]$

Lösungsvorschlag

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

noch einen anderen Ansatz gibt es hier: http://www.csd.uwo.ca/~lila/logic7w.ps