noch eine Aufgabe die ich nicht verstehe:
Ich soll beweisen, das der Folgerungsoperator
$$\models $$
ein Hüllenoperator ist.
Ich weiß, dass gilt:
$$M\subseteq M\models $$
$$M\quad \subseteq \quad L\quad so\quad gilt\quad M\models \subseteq L\models $$
$$(M\models)\models =M\models $$
Aber wie beweise ich dies?
