Aussagenlogik/Semantische Äquivalenz als Äquivalenzrelation/Wohldefinierte Interpretation/Aufgabe

Es sei ${}\sim$ die in Aufgabe diskutierte Äquivalenzrelation auf ${}L^{V}$ und sei ${}Q$ die zugehörige Quotientenmenge. Es sei ${}\lambda$ eine Wahrheitsbelegung auf ${}V$ . Zeige, dass dies eine wohldefinierte Abbildung auf ${}Q$ induziert.