Aussagenvariable/Abbildung/Sprache/Interpretation/Aufgabe

Es seien ${}V$ und ${}W$ Aussagenvariablenmengen, ${}\varphi \colon V\rightarrow W$ eine Abbildung und ${}L^{\varphi }\colon L^{V}\rightarrow L^{W}$ die nach Aufgabe zugehörige Abbildung. Es sei ${}\lambda$ eine Wahrheitsbelegung auf ${}W$. Zeige

${}I^{\lambda \circ \varphi }=I^{\lambda }\circ L^{\varphi }\,.$

Eine Lösung erstellen