Modallogisches Modell/Einbettung in universelles modallogisches Modell/Aufgabe

Es sei ${}(M,S,\mu )$ ein modallogisches Modell und ${}(U,R,\nu )$ das universelle modallogische Modell. Zeige, dass durch

$M\longrightarrow U,\,w\longmapsto (M,S,\mu ,w)^{\vDash },$

eine Abbildung definiert ist, die ein Homomorphismus (bezüglich der zweistelligen Relationen ${}S$ und ${}R$) ist.

Eine Lösung erstellen