Aussagenlogik/Semantische Äquivalenz als Äquivalenzrelation/Wohldefinierte Interpretation/Aufgabe
Es sei die in Aufgabe diskutierte Äquivalenzrelation auf und sei die zugehörige Quotientenmenge. Es sei eine Wahrheitsbelegung auf . Zeige, dass dies eine wohldefinierte Abbildung auf induziert.
