Ausdrucksmengen/Inklusion/Kanonische Modelle/Aufgabe

Es seien ${}\Gamma \subseteq \Gamma '\subseteq L^{S}$ widerspruchsfreie Ausdrucksmengen, die unter Ableitungen abgeschlossen seien, und seien ${}M$ bzw. ${}M'$ die gemäß der Konstruktion zugehörigen Modelle. Zeige, dass es einen ${}S$-Homomorphismus

$M\longrightarrow M'$

gibt.

Eine Lösung erstellen